任意の素数階乗の剰余を考えると、その素数の次の素数があることで、素数階乗では、素数の間の最大は、高々その次の素数である。また、その素数の二乗n^2と、(n+1)^2の差は、2n+1となる。また、全ての自然数で2倍以内に素数は存在する。これらから、2以上の…