>>690
以下の不等式がn≧1で成立することを示せ
log(p_n#)<p_n
ただし、p_nはn番目の素数とする