 Smoothed zeta zero-count bound

Evaluate the real logarithmic derivative of Riemann xi at real part two, where every summand is positive and comparable to this kernel. The gamma logarithmic derivative and the bounded zeta logarithmic derivative give the logarithmic bound. It implies the local unit-interval count, and conversely such local counts imply this smoothed bound by summing the decaying tails.