APMO 1999 Problem 2

Let $a_{1}, a_{2}, \cdots$ be a sequence of real numbers satisfying $a_{i+j} \leq a_{i}+a_{j}$ for all $i, j=1,2, \cdots$. Prove that

$$a_{1}+\frac{a_{2}}{2}+\frac{a_{3}}{3}+\cdots+\frac{a_{n}}{n} \geq a_{n}$$

for each positive integer $n$.