The inverse theorem for trigonometric approximation gives
Summing proves
For , part (a) gives . If , an increment at has nonnegative summands and its term is . Part (c) handles . Therefore