P
Initializing...
Tao Lemma 4.3 (4.4): S_{eta,1}(x,0) = x*int(eta) + O*(||eta'||_1 x / (40 log cx)) · Prove2Me