Sea $\{a_n\}_{n\geq 0}$ una sucesión no decreciente y no acotada de enteros no negativos con $a_0=0$. Sea $b_n$ el número de miembros de la sucesión que no exceden a $n$. Demuestra que \[ (a_0 + a_1 + \cdots + a_m)( b_0 + b_1 + \cdots + b_n ) \geq (m + 1)(n + 1). \] Valentin