Short-interval Perron bound for the second Chebyshev function
ID: short-interval-perron-bound-for-the-second-chebyshev-function
For , and , apply the truncated Perron formula with Von Mangoldt function coefficients at both endpoints on the same vertical line. The difference kernel is , of modulus . The usual near-integer error bound contributes . The logarithmic derivative on this line is finite because of the Euler product.
New to topics? Read the docs here!