Analysis book should have comment like in programming. For example how to derive the expression. I think pure proof is really boring it waste alot of time.
@TedShifrin I think you were wrong in priori bound. The function when graph is already less than 1 when x>0. The h=min{1/2, formula} was for making it clear h<1. I win.