(2*3*5*・・・*S(n))^x*(1/2^x+1/3^x+・・・+1/S(n)^x) < S(n+1)^2x
x=-1
Y=(2+3+5+7+・・・+S(n))/(2*3*5*・・・*S(n)) < 1/S(n+1)^2
Yはn番目までの素数の逆数を因数に含まない分数
1/S(n+1)^2よりも小さい時n番目以上の素数の逆数を因数に持つ可能性があるため
Y=(2+3+5+7+・・・+S(n))/(2*3*5*・・・*S(n)) > 1/S(n+1)^2
を満たす時Yはn番目以上の素数の逆数を因数に持たない