【１】素因数の累乗の評価

［１］ｎ！を素因数分解したとき，ある素数ｐがｐ^rの形で含まれていたとすると，ガウス記号［・］を用いて

　　ｐ＝［ｎ／ｐ］＋［ｎ／ｐ^2］＋・・・＋［ｎ／ｐ^s］＋・・・

［２］ｃn＝2nＣnを＝（２ｎ）！／（ｎ！）^2

を素因数分解すると，√２ｎより大きい素数は現れてもｐ^1の形である．それ以下の素数がｐ^kの形で現れれば，ｐ^k≦２ｎである．

（証明）この式に対応する不等式

　　［２ｎ／ｐ^s］−２［ｎ／ｐ^s］

は０か１であることよりＱＥＤ．ｎ／ｐ^sの小数部分が０．５未満ならば０，０．５以上ならば１であることを具体的に確かめてみるとよい．

　すなわち，素因数分解するとｎより大きく２ｎ以下の素数があれば，それらはすべて１乗の形の積として現れます．もしもその間に素数がなければ，ｎ以下の素数の積で表されるはずです（実はさらに２ｎ／３以下の素数の積なります．２ｎ／３より大きくｎ以下の素数は分子に２回，分母に２回現れて約分される）．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝