>>753

(a) log(p_{n+1})−log(p_n) < p_{n+1} / p _n − 1

は任意のn≧1で成立するよ。なぜかって?一般に 0<x<yのとき

log(y)−log(x) < y/x−1

が成立するから。