Pointwise bound $r(s)\le 9C(s)\,s/(\log s)^2$ · Prove2Me

P

Initializing...

Pointwise bound $r(s)\le 9C(s)\,s/(\log s)^2$ · Prove2Me