IMO 2008 (Problema 3)