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!