Ludium
EN/日本語
Sign In
Single Variable Calculus
Differentiation
01The Derivative as the Slope of the Tangent Line02Secant Lines and the Limit Definition of the Derivative03Differentiating 1/x Straight From the Definition04Tangents to 1/x and the Triangle of Area 205Newton and Leibniz Notation, and the Power RuleProblem set0/10Problem set 20/10MIT problem set0/3
01The Derivative as an Instantaneous Rate of Change02Rates of Change Without Time: Gradient and Sensitivity03Easy Limits, 0/0, and One-Sided Limits04Continuity, Jumps, and Removable Discontinuities05Infinite Discontinuities: 1/x and Its Derivative06Differentiable Implies ContinuousProblem set0/10Problem set 20/10
01Two Kinds of Formula, and the Derivative of Sine02The Derivative of Cosine, and Two Limits at Zero03Bow and Bowstring: Proving the Two Trig Limits04Why the Trig Derivatives Hold Only in Radians05A Geometric Proof: Sine as a Height on the Circle06Finishing the Proof, and the Product and Quotient RulesProblem set0/10Problem set 20/10MIT problem set0/1
01Proving the Product Rule: Change One Factor at a Time02The Quotient Rule, and the Power Rule for Negative Exponents03The Chain Rule: Differentiating a Function of a Function04Higher Derivatives: The Sine Cycle and Three Notations05The nth Derivative of xⁿ Is n Factorial, by InductionProblem set0/10Problem set 20/10MIT problem set0/2
01The Power Rule for Rational Exponents02The Slope of a Circle, Two Ways03Implicit Differentiation of a Quartic Curve04Inverse Functions and the Reflection Across y = x05Derivatives of the Arctangent and ArcsineProblem set0/10Problem set 20/10MIT problem set0/1
01The Derivative of aˣ and the Mystery Number M(a)02Defining e by Slope One, and the Derivative of ln x03M(a) = ln a: Differentiating aˣ and xˣ04Why (1 + 1/n)ⁿ Approaches eProblem set0/10Problem set 20/10MIT problem set0/1
Applications of Differentiation
01Linear Approximation: A Curve Is Its Tangent Line02Five Linear Approximations at Zero03Combining Approximations, from Algebra to GPS Clocks04Quadratic Approximation: The Best-Fit ParabolaProblem set0/10Problem set 20/10MIT problem set0/1
01Linear Approximation as a Proportionality Rule02Quadratic Approximation: Why the ½, and Products03Curve Sketching: The Sign of f′ and Critical Points04Curve Sketching: Ends, Concavity and InflectionProblem set0/10Problem set 20/10MIT problem set0/1
01Sketching Without Critical Points: (x+1)/(x+2)02A Five-Step Curve-Sketching Scheme, Applied to x / ln x03x / ln x: Inflection Point and Where Max and Min Can OccurProblem set0/10Problem set 20/10
01Two Squares From One Wire: The Critical Point Gives the Least Area02The Open Box of Fixed Volume: Least Material When x = 2y03Related Rates: The Police Radar and the Conical TankProblem set0/10Problem set 20/10MIT problem set0/4
01The Hanging Ring: Why the String Makes Equal Angles02Newton's Method: Tangent Lines That Find the Square Root of Five03Why Newton's Method Doubles Its Digits, and How It Fails04The Mean Value Theorem: Somewhere You Hit Your Average Speed05Positive Derivative Means Increasing: Proving eˣ Exceeds 1 + xProblem set0/10Problem set 20/10MIT problem set0/2
Integration
01Differentials: dy = f′(x) dx and the Cube Root of 64.102Antiderivatives Differ Only by a Constant03Integration by Substitution and Advanced GuessingProblem set0/10Problem set 20/10MIT problem set0/1
01Separation of Variables: dy/dx = −xy and the Bell Curve02General Solutions: Signs, Constants and Initial Conditions03Orthogonal Trajectories: Parabolas and Crossing EllipsesProblem set0/10Problem set 20/10MIT problem set0/1
01The Definite Integral: Area as a Limit of Rectangle Sums02Area Under y = x²: Squeezing the Sum of Squares03Sigma Notation and the Area Pattern: b, b²/2, b³/304Riemann Sums: the Definite Integral and a Year of LoansProblem set0/10Problem set 20/10MIT problem set0/1
01The Fundamental Theorem of Calculus: Area in One Line02Net Change and Signed Area: Integrating Velocity03Six Rules for Definite Integrals and Bounds on eᵇ04Substitution in Definite Integrals: Change the LimitsProblem set0/10Problem set 20/10MIT problem set0/1

Positive Derivative Means Increasing: Proving eˣ Exceeds 1 + x

How does the Mean Value Theorem prove that a positive derivative means increasing, and turn that into a proof that eˣ > 1 + x?


Loading…

←Previous The Mean Value Theorem: Somewhere You Hit Your Average SpeedNext Differentials: dy = f′(x) dx and the Cube Root of 64.1 →

Your summary note

    1. 1

      Sign of f′f'f′ and increasing, decreasing or constant

      Rewrite the MVT as f(b)=f(a)+f′(c)(b−a)f(b)=f(a)+f'(c)(b-a)f(b)=f(a)+f′(c)(b−a) with a<ba<ba<b, and prove from it the three facts for f′>0f'>0f′>0, f′<0f'<0f′<0 and f′=0f'=0f′=0.

    2. 2

      The MVT versus linear approximation

      Contrast ΔfΔx≈f′(a)\frac{\Delta f}{\Delta x}\approx f'(a)ΔxΔf​≈f′(a) with the exact MVT equation, and write the bound min⁡f′≤f(b)−f(a)b−a≤max⁡f′\min f'\le\frac{f(b)-f(a)}{b-a}\le\max f'minf′≤b−af(b)−f(a)​≤maxf′ over a≤x≤ba\le x\le ba≤x≤b as a statement about speeds.

    3. 3

      Proving ex>1+xe^x>1+xex>1+x for x>0x>0x>0

      Write out the proof with f(x)=ex−(1+x)f(x)=e^x-(1+x)f(x)=ex−(1+x): its value at 000, its derivative, the sign of that derivative, and the conclusion.

    4. 4

      Iterating to ex>1+x+x22e^x>1+x+\frac{x^2}{2}ex>1+x+2x2​ and beyond

      Prove the second inequality with g(x)=ex−(1+x+x22)g(x)=e^x-(1+x+\frac{x^2}{2})g(x)=ex−(1+x+2x2​), using the first inequality for g′g'g′, then write the next polynomial bound and the limiting series for exe^xex.

    Attempt 1 of 2