Problema 1(IMO 2011)