a(m+n) >= 2 a(m) + 2 a(n) for all m,n >= 1
Source: IMO Shortlist 2007, A5
July 13, 2008
inequalitiesSequenceboundedrecurrence relationIMO Shortlist
Problem Statement
Let and let be a sequence of nonnegative real numbers such that
a(m \plus{} n) \leq 2 \cdot a(m) \plus{} 2 \cdot a(n) \text{ for all } m,n \geq 1,
and a\left(2^k \right) \leq \frac {1}{(k \plus{} 1)^c} \text{ for all } k \geq 0. Prove that the sequence is bounded.
Author: Vjekoslav Kovač, Croatia