MathDB
Nice natural FE with an inequality

Source: IMOC 2021 A8

August 11, 2021
functional equationalgebraInequalityfunctioninequalities

Problem Statement

Find all functions f:N→Nf : \mathbb{N} \to \mathbb{N} with f(x)+yf(f(x))<x(1+f(y))+2021f(x) + yf(f(x)) < x(1 + f(y)) + 2021 holds for all positive integers x,y.x,y.