>>794
>等式(2)の範囲のpが全て合成数であると仮定しています

等式(2)は以下の通り
n^2 < p < n(n + 1) … (2)

n^2 < p < n(n + 1)を満たすpが全て合成数となるnの存在を仮定していますね

嘘つき