Sean $m_1<m_2<\cdots<m_s$ una secuencia de $s\ge2$ enteros positivos, ninguno de los cuales puede escribirse como la suma de (dos o más) otros números distintos en la secuencia. Para cada entero $r$ con $1\le r<s$ , demuestre que \[ r\cdot m_r+m_s ~\ge~ (r+1)(s-1). \]