Fejér first-moment approximation bound
ID: fejer-first-moment-approximation-bound
The normalized Fejér kernel satisfies on . Splitting its first absolute moment at gives . The chaining inequality for the modulus of continuity, , then bounds the Fejér sum error by . Taking proves the stated bound for and hence uniform convergence for continuous periodic functions. The logarithm vanishes at , so the displayed estimate is not intended at that index.
New to topics? Read the docs here!