Four proffs of an algebraic inequality are given.