Vrijedi x4+1≥2x2 (1)
i y3+y≥2y2, (2)
pa zbrajanjem (1) i (2) dobivamo x4+y3+y+1≥2x2+2y2
iz čega je x4+y3+x2+y+1≥3x2+2y2.
Treba još dokazati da vrijedi 3x2+2y2>29xy.
Primjenom A-G nejednakosti dobivamo 3x2+2y2≥26xy,
pa budući da je 26=24>481=29,
vrijedi x4+y3+x2+y+1≥26xy>29xy.
U zadatku smo više puta primijenili nejednakost a2+b2≥2ab koja vrijedi za a,b∈R.