Prove that for all positive integers n≥2 we have 21+21+332+⋯+nnn−1<n+1n2.
Solution
We use proof by induction. For n=2 we have 21+21<34⇔21<65⇔21<3625, which is true. For n=2 the inequality holds.
Now assume that the inequality holds for n and let us prove it for n+1. We wish to show that 21+21+332+⋯+nnn−1+n+1n+1n<n+2(n+1)2.(1) By the induction hypothesis we can estimate 21+21+332+⋯+nnn−1+n+1n+1n<n+1n2+n+1n+1n. It therefore suffices to show that n+1n2+n+1n+1n⇔n+1n+1n≤n+2(n+1)2≤n+2(n+1)2−n+1n2=(n+2)(n+1)n2+3n+1=1−(n+2)(n+1)1. Using the Arithmetic-Geometric Mean Inequality we get n+1n+1n=n+1n+1n⋅n1⋅1⋯1≤n+1nn+1n+1+⋯+1=(n+1)2n2+2n=1−(n+1)21. From here it follows that n+1n+1n≤1−(n+1)21<1−(n+2)(n+1)1, which proves the inequality (1) and completes the induction step.
Remark: The inequality n+1n+1n≤1−(n+1)21 also follows directly from the Bernoulli inequality which states that (1+x)r≤1+rx for all x>−1 and 0≤r≤1.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.