[例9-3]
 次の不等式をみたす整数a,b,cで、どれか1つは0でなく、
かつどの絶対値も100万を超えないものが存在することを示せ。
[Easy]  |a + b√2 + c√3|< 10^(-11),
[Hard]  |a + b√2 + c√3|< 10^(-12),

秋山 仁 + ピーター・フランクル 共著:
 [完全攻略]数学オリンピック, p.47-48, 日本評論社 (1991/Nov)

注) Hrad は鳩ノ巣原理では解けません。