石の山が一つあり、二人が交互に石を取っていく。
最後に石を取ったほうが勝ちである。
最初の人は一つ以上の石を取る。ただし全部の石を取ることは出来ない。
次からは交互に一つ以上で、前の人が取った数の二倍以下の石を取る。

石の数が n ≧ 4 のとき、先手必勝であることを示せ。