Problem

Source: PMO 2021

Tags: algebra, number theory, inequalities, Philippines, PMO



Let a,b,c, and d be real numbers such that abcd and a+b+c+d=13a2+b2+c2+d2=43. Show that ab3+cd.