4 Sea $a$ un número real positivo. Encuentra todas las funciones $f: \mathbb{R}^+ \to \mathbb{R}^+$ tales que $af(x) - f(y) + y > 0$ y \[ f(af(x) - f(y) + y) \leq x + f(y) - y, \quad \forall x, y \in \mathbb{R}^+. \] propuesto por chengbilly