How does integrating the inequality eˣ ≥ 1 over and over squeeze out the bounds eᵇ ≥ 1 + b + b²/2?
Loading…
Sums split and constants factor out
Write the sum rule and the constant-multiple rule as formulas, note that must not depend on , and record the integral sign as a stretched S for sum.
Additivity, the empty interval and reversed limits
State and the definition , check both against , and write additivity over and for points in any order.
The estimation rule and its requirement
State that gives only when , record the slower-traveller interpretation, and note that the signs of and do not matter.
Lower bounds for when
Integrate from to to reach , integrate that from to to reach , and record where is needed.