Sea $(u_1, \ldots, u_n)$ una $n$-tupla ordenada. Para cada $k, 1 \leq k \leq n$, defina $v_k=\sqrt[k]{u_1u_2 \cdots u_k}$. Pruebe que $\sum_{k=1}^n v_k \leq e \cdot \sum_{k=1}^n u_k$. ( $e$ es la base del logaritmo natural).