Lagrange error bound