There are many proofs of this inequality; this is only one of these. There is also an application of the AGM to the sequence n^1/n.