Với n=2 thì \(\left(n+1\right)\left(n+2\right)\left(n+3\right)...2n=3.4.5...4>2^2=4\)
=> bất đẳng thức \(\left(n+1\right)\left(n+2\right)\left(n+3\right)...2n>2^n\)đúng với n=2
Gỉa sử bất đẳng thức \(\left(n+1\right)\left(n+2\right)\left(n+3\right)...2n>2^n\) đúng với n=k (\(k\ge2;k\in N\)), khi đó ta có:
\(\left(k+1\right)\left(k+2\right)\left(k+3\right)...2k>2^k\) (giả thiết quy nạp)
Ta phải chứng minh bất đẳng thức trên đúng với n=k+1, tức là phải chứng minh \(\left(k+2\right)\left(k+3\right)\left(k+4\right)...2\left(k+1\right)>2^{k+1}\)
Ta có: \(\left(k+1\right)\left(k+2\right)\left(k+3\right)...2k>2^k\) (giả thiết)
\(\Rightarrow\left(k+1\right)\left(k+2\right)\left(k+3\right)...2k.\left(2k+1\right)>2^k\)
\(\Rightarrow2.\left(k+1\right)\left(k+2\right)\left(k+3\right)...\left(2k+1\right)>2.2^k\)
\(\Rightarrow\left(k+2\right)\left(k+3\right)\left(k+4\right)...\left(2k+1\right)\left(2k+2\right)>2^{k+1}\)
\(\Rightarrow\left(n+1\right)\left(n+2\right)\left(n+3\right)...2n>2^n\) đúng với n=k+1
Vậy với mọi số tự nhiên n>1 thì \(\left(n+1\right)\left(n+2\right)\left(n+3\right)...2n>2^n\)
