Taylor Polynomial and Lagrange Error Bound