P
Initializing...
Jensen-type bound: the number of zeros in $\overline{D}(0,r)$ is at most $\frac{\log B}{\log(R/r)}$ · Prove2Me