IMO олимпиада по математике 2011 года | Казахстанские олимпиады

Пусть f:RRf:\mathbb{R}\to \mathbb{R} — функция, определенная на множестве действительных чисел и принимающая действительные значения, такая, что f(x+y)yf(x)+f(f(x))f\left( x+y \right)\le yf(x)+f(f(x)) для всех действительных xx и yy. Докажите, что f(x)=0f(x)=0 для всех x0x\le 0.