IMO Q6 2009

There is this collaborative project of solving IMO Q6 2009: http://terrytao.wordpress.com/2009/07/20/imo-2009-q6-as-a-mini-polymath-project/. Perhaps some of you will be interested in thinking about the problem together (with all the other math people around the world)? I saw Tim Gowers (a Field's medalist) constantly making comments on the various approaches that people suggest, so it might be interesting to read the comments as people make progress even if you are not actively thinking about it.