補題1. (Bertrand の仮説) 任意の自然数 $n$ に対して, $n 命題2. $n!$ が平方数となるための必要十分条件は $n=0,1$ である. 証明. 十分性は明らか. $n \geq 2$ のとき $n!$ は素因数を少なくとも $1$ つもつので, 最大の素因数 $p$ を取ってこれる. $n!$ …