Sejam a0,a1,a2,...,an números reais que satisfaçam as duas condições a seguir: a) 0=a0≤a1≤a2≤...≤an. b) Para todo 0≤i<j≤n vale: aj−ai≤ji. Prove que (i=0∑nai)2≥i=0∑nai3.