Sea $f: \mathbb{N} \to \mathbb{N}$ una función arbitraria. Demuestre que existen dos enteros positivos $x$ e $y$ que satisfacen $f(x+y) \le f(2x+f(y))$ . (Propuesto por David Anghel, Rumania)