P
Initializing...
Lemma 4.1 — Kim's coefficients (25) with $a_i=\frac{2(i-1)i}{N^2}$, $b_N=\frac2N$, $c=\frac1{N^2}$ are feasible for (D) · Prove2Me