Bernoulli inequality
For and :
Equality holds iff or .
It provides a linear lower bound on .
Proof (induction)
Base case (): .
Inductive step: Assume . Then:
since .
Application:
Link to originalProof that for
Quadratic bound
For , the binomial expansion gives a tighter bound:
Used when the linear term cancels or is too weak (e.g., proving ).