Worked example: estimating sin(0.4) using Lagrange error bound