lagrange error bound