P

Initializing...

Theorem A, cumulative, unconditional: $\liminf_{T\to\infty} N_0^*(T)/N(T) \ge 2/3$ · Prove2Me