IMO 1970 LL AUT5

Prove that

IMO 1970 LL AUT5

Origin: AUT

Problem

Prove that n n+1 + n+1 + \cdot \cdot \cdot + n n+1 \geq1 for n \geq2.