[jay_shark]

Jensen's inequality is rarely used in IMO problems and is more reserved for Putnam problems; however , the solution was nice .

I think Tom's solution is fairly elementary and probably intended as one of the solutions they were looking for .