2 ( n + 1 − 1 ) < 1 + 1 2 + … + 1 n < 2 n 2\left( \sqrt{n+1}-1
\right)<1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{n}}<2\sqrt{n} 2 ( n + 1 − 1 ) < 1 + 2 1 + … + n 1 < 2 n
Base Case: n = 1 n=1 n = 1
2 ( 2 − 1 ) < 1 < 2 2\left(\sqrt{2}-1\right)<1<2 2 ( 2 − 1 ) < 1 < 2
2 − 1 < 1 2 < 1 \sqrt{2}-1<\tfrac{1}{2}<1 2 − 1 < 2 1 < 1
2 ≈ 1.414 < 1.5 < 2 \sqrt{2}\approx 1.414<1.5<2 2 ≈ 1.414 < 1.5 < 2
Assume: 2 ( k + 1 − 1 ) < 1 + 1 2 + … + 1 k < 2 k 2\left( \sqrt{k+1}-1
\right)<1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k}}<2\sqrt{k} 2 ( k + 1 − 1 ) < 1 + 2 1 + … + k 1 < 2 k
Prove: 2 ( k + 2 − 1 ) < 1 + 1 2 + … + 1 k + 1 < 2 k + 1 2\left( \sqrt{k+2}-1
\right)<1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k+1}}<2\sqrt{k+1} 2 ( k + 2 − 1 ) < 1 + 2 1 + … + k + 1 1 < 2 k + 1
1) 1 + 1 2 + … + 1 k + 1 k + 1 < 2 k + 1 k + 1 = 2 k ( k + 1 ) + 1 k + 1 1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k}}+\tfrac{1}{\sqrt{k+1}}<2\sqrt{k}+\tfrac{1}{\sqrt{k+1}}=\frac{2\sqrt{k(k+1)}+1}{\sqrt{k+1}} 1 + 2 1 + … + k 1 + k + 1 1 < 2 k + k + 1 1 = k + 1 2 k ( k + 1 ) + 1
Using inequality x y ≤ x + y 2 \sqrt{xy}\leq \frac{x+y}{2} x y ≤ 2 x + y , we get 2 k ( k + 1 ) + 1 k + 1 ≤ ( 2 k + 1 ) + 1 k + 1 = 2 k + 1 \frac{2\sqrt{k(k+1)}+1}{\sqrt{k+1}}\leq \frac{(2k+1)+1}{\sqrt{k+1}}=2\sqrt{k+1} k + 1 2 k ( k + 1 ) + 1 ≤ k + 1 ( 2 k + 1 ) + 1 = 2 k + 1
Therefore, 1 + 1 2 + … + 1 k + 1 < 2 k + 1 1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k+1}}<2\sqrt{k+1} 1 + 2 1 + … + k + 1 1 < 2 k + 1
2) 1 + 1 2 + … + 1 k + 1 k + 1 > 2 ( k + 1 − 1 ) + 1 k + 1 = 2 ( k + 1 ) + 1 k + 1 − 2 = 2 k + 3 k + 1 − 2 1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k}}+\tfrac{1}{\sqrt{k+1}}>2\left(\sqrt{k+1}-1\right)+\tfrac{1}{\sqrt{k+1}}=\frac{2(k+1)+1}{\sqrt{k+1}}-2=\frac{2k+3}{\sqrt{k+1}}-2 1 + 2 1 + … + k 1 + k + 1 1 > 2 ( k + 1 − 1 ) + k + 1 1 = k + 1 2 ( k + 1 ) + 1 − 2 = k + 1 2 k + 3 − 2
Using inequality x y ≤ x + y 2 \sqrt{xy}\leq \frac{x+y}{2} x y ≤ 2 x + y , we get ( k + 1 ) ( k + 2 ) ≤ 2 k + 3 2 \sqrt{(k+1)(k+2)}\leq \frac{2k+3}{2} ( k + 1 ) ( k + 2 ) ≤ 2 2 k + 3 .
So, 2 k + 2 ≤ 2 k + 3 k + 1 2\sqrt{k+2}\leq \frac{2k+3}{\sqrt{k+1}} 2 k + 2 ≤ k + 1 2 k + 3 .
Therefore, 1 + 1 2 + … + 1 k + 1 > 2 k + 2 − 2 = 2 ( k + 2 − 1 ) 1+\tfrac{1}{\sqrt{2}}+…+\tfrac{1}{\sqrt{k+1}}>2\sqrt{k+2}-2=2\left(\sqrt{k+2}-1\right) 1 + 2 1 + … + k + 1 1 > 2 k + 2 − 2 = 2 ( k + 2 − 1 )