Lemma 5.1 — at least $\eta x/(2\log x)$ primes in $((1-2\eta)x,(1-\eta)x]$ · Prove2Me

P

Initializing...

Lemma 5.1 — at least $\eta x/(2\log x)$ primes in $((1-2\eta)x,(1-\eta)x]$ · Prove2Me