Vì n nguyên dương nên:
nn+1 > 1 \Rightarrow nn+1 > n+1n+2
\Rightarrow (nn+1)n > (n+1n+2)n
Và kết hợp giả thiết đc:
n+1 \geq (nn+1)n > (n+1n+2)n
Thử với n=1 thấy BĐT đúng
Giả sử BĐT đã cho đúng với n=k, tức là
k+1 \geq (kk+1)k > (k+1k+2)k (*)
Ta c/m BĐT đúng với n=k+1
Thật vậy:
(k+1k+2)k+1 \leq k+2
\Rightarrow (k+1k+2)k.k+1k+2 \leq k+2
\Rightarrow (n+1k+2)k \leq k+1
(Vì k nguyên dương nên k+2 khác 0)
BĐT này luôn đúng vì (*)
Theo nguyên lí quy nạp ta có ngay đpcm