Congratulations to Ivan at St Bede’s Inter-church School and Vedant for solving Problem 9.
To approach this problem, let’s start with a pair of positive real numbers
and
.
After some experimentation, it becomes apparent that for any positive real number
,
. However, we must also prove this.
Consider the quadratic
, where
is a positive real number. For all real values of
,
. Consequently,
![]()
Since
is positive, we may divide by
without changing the inequality. Therefore,
![]()
Now, applying this to the general case, we know that
![]()
by applying our earlier proof to all values of
.
If the sum of
does not exceed
, we may also say
![]()
Thus, the inequality is proven.