Norm interval Integral exp neg mul sinc tail le
norm_intervalIntegral_exp_neg_mul_sinc_tail_le
Plain-language statement
For and , the damped sinc integral over the finite tail satisfies the uniform estimate
Source project: Prime Number Theorem and More
Person-level attribution pending.