Problema 4, IMO 2010