MathDB
sequence inequality wanted, r\cdot m_r+m_s ~\ge~ (r+1)(s-1)

Source: Mediterranean Mathematical Olympiad 2019 P2 MMC

July 21, 2019
inequalitiesalgebraSequence

Problem Statement

Let m1<m2<<msm_1<m_2<\cdots<m_s be a sequence of s2s\ge2 positive integers, none of which can be written as the sum of (two or more) distinct other numbers in the sequence. For every integer rr with 1r<s1\le r<s, prove that rmr+ms  (r+1)(s1). r\cdot m_r+m_s ~\ge~ (r+1)(s-1).
(Proposed by Gerhard Woeginger, Austria)