>>791
「(n-1)(n+1)の約数は((n-1)(n+1)以下である」
が全てのn≧2に対し成立することは自明じゃないのか??