>>49-51 書きながら考えてて、専用ブラウザでつい途中で書き込んでしまいました。すみません。
ついでに言うと誤字あり。存在証明でなく構成する問題なので、下手すると減点。
有名問題なの？

>>28 http://www.srcf.ucam.org/~jsm28/imo-scores/ から、
平均点 0.8 未満の問題番号, 平均点, 7点取得数
1996-5 0.491 (6) ★
1998-6 0.678 (24)
2000-3 0.655 (15)
2001-6 0.778 (27)
2002-3 0.591 (14) ★
2002-6 0.409 (12) ★
2003-3 0.405 (23) ★
2003-6 0.578 (24)
2006-3 0.659 (28)
2006-6 0.187 (8) ★