P
Initializing...
JAO Theorem 5, main regime $D \ge 12$ (so $\delta = 4/D \le 1/3$) · Prove2Me