An interesting inequality at the 1995 I.M.O
An interesting inequality at the 1995 I.M.O