Mình góp một cách không dùng quy nạp: Từ gt chuyển $\dfrac1{a_1+1}$ ra $VP$ rồi quy đồng suy ra $$\dfrac{a_1}{a_1 + 1} = \dfrac1{a_2+1} + \dfrac1{a_3+1} + \ldots + \dfrac1{a_n+1} \geqslant (n-1) \dfrac1{\sqrt[n-1]{(a_2+1)(a_3+1)\ldots(a_n+1)}}$$
Tương tự ta cũng chuyển $\dfrac1{a_2+1}$ rồi $\dfrac1{a_3+1}$ rồi..., sau đó nhân tất cả vế theo vế ta suy ra $$\dfrac{a_1 \cdot a_2 \ldots a_n}{(a_1+1)(a_2+1)\ldots(a_n+1)} \geqslant (n-1)^n \dfrac1{(a_1+1)(a_2+1)\ldots(a_n+1)}$$
Suy ra đpcm