IMO 2009 Problema 4