abc∈R*,a4 b4 c4 a bc≥abc