>>137
蛇足だが、n-1＞5とするべきな気がする。
n-1≧6としたところではn-1が整数であることを使っているが、
そのことを明示していない（最初に書いているけど）。
そのすぐ下では「（最小の）自然数nの値は」と書いているので
n-1≧6のところで書かないことに違和感がある。