Последовательность a1a_1a1, a2a_2a2, …\dots… удовлетворяет условию ai+j≤ai+aja_{i + j} \leq a_i + a_jai+j≤ai+aj. Докажите, что a1+a22+a33+⋯+ann≥an.{a_1} + \frac{{{a_2}}}{2} + \frac{{{a_3}}}{3} + \dots + \frac{{{a_n}}}{n} \geq {a_n}.a1+2a2+3a3+⋯+nan≥an.