10.12 Lagrange Error Bound