Worked example: estimating eˣ using Lagrange error bound