Seja x1,x2,x3,x4,x5 cinco números reais não negativos, de modo que x1≤4 e x1+x2≤13 e x1+x2+x3≤29 e x1+x2+x3+x4≤54 e x1+x2+x3+x4+x5≤90. Prove que x1+x2+x3+x4+x5≤20.