MathDB
Sequence satisfying the condition a_(m+n) < a_n + a_m

Source: Chinese Mathematical Olympiad 1997 Problem 6

August 26, 2013
inductioninequalities

Problem Statement

Let (an)(a_n) be a sequence of non-negative real numbers satisfying an+man+ama_{n+m}\le a_n+a_m for all non-negative integers m,nm,n. Prove that if nmn\ge m then anma1+(nm1)ama_n\le ma_1+\left(\dfrac{n}{m}-1\right)a_m holds.