18 Sean $m,n\in\mathbb Z_{\ge 0},$ $a_0,a_1,\ldots ,a_m,b_0,b_1,\ldots ,b_n\in\mathbb R_{\ge 0}$. Para cualquier entero $0\le k\le m+n,$ define $c_k:=\max_{i+j=k}a_ib_j.$ Demuestra que $$\frac 1{m+n+1}\sum_{k=0}^{m+n}c_k\ge\frac 1{(m+1)(n+1)}\sum_{i=0}^{m}a_i\sum_{j=0}^{n}b_j.$$ Creado por Yinghua Ai