And we know the RHS holds since the Truncated Taylor Series is an approximation to ?
I was assuming that the truncated series is less than . But that is only true if at > 0 (which I was taking for granted). If at < 0 then that argument doesn't seem to work.