Problema 3 (IMO 2011)