2 Sea $m_1<m_2<\cdots<m_s$ una sucesión de $s\ge2$ enteros positivos, ninguno de los cuales puede escribirse como la suma de (dos o más) otros números distintos de la sucesión. Para todo entero $r$ con $1\le r<s$, demuestre que \[ r\cdot m_r+m_s ~\ge~ (r+1)(s-1). \] (Propuesto por Gerhard Woeginger, Austria)