Neka funkcija f zadovoljava uvjet zadatka. Tada je f(x)≥2xy−f(y) za sve x,y∈R, pa za y=x dobivamo da je f(x)≥x2 za svaki x∈R.
Nadalje iz uvjeta slijedi da za svaki x postoji y=yx takav da je f(x)=2xyx−f(yx). Iz ovog i iz posljednje nejednakosti dobivamo
x2≤f(x)=2xyx−f(yx)≤2xyx−yx2,
pa je (x−yx)2≤0, tj. yx=x.
Sada iz f(x)=2xyx−f(yx) slijedi f(x)=x2.
Ova funkcija je rješenje zadatka jer za nju vrijedi
y∈Rmax(2xy−f(y))=y∈Rmax(2xy−y2)=y∈Rmax(x2−(x−y)2)=x2=f(x).