P
Initializing...
Dusart, Lemme 51: the root of $k(\nu)=1$ lies in $(0.97,1)$ · Prove2Me