Problema 6 (IMO 2011)