2001 IMO Shortlist Problems/A6
Problem
Prove that for all positive real numbers 
,
Solution
This problem needs a solution. If you have a solution for it, please help us out by adding it.
Resources
The leader of the Bulgarian team had come up with a generalization of this with putting k in place of 8 and replacing 1 in the RHS by 3/sq root(1+k)
