British MO, 2009, Round 2, Q1

解自体を探すのであれば表計算ソフトの方が早いが，論証でしっかり詰めるのはわりと大変だろう．そんな計算例．
https://www.youtube.com/watch?v=quECgYPNCXw