Problema 4 (IMO 2011)