>>149
解説ありがとうございます。

＞ (1)はわかったのかい？

はい。

＞ (2)はまずaはn-1の約数でcがn+1の約数
＞ で、全てのn>=2のnで0<a<=n-1かつ、0<c<=n+1だな

全ての「各n」について各pがそうなのはわかりますが、pはnに依存していませんか？従って

＞ で、全てのn>=2のnでac<=(n-1)(n+1)だよな？

が何故なのかはわかりません。