The idea is to construct a sequence of functions that are 0 on most of the interval but jump up to 1 on a small subinterval that sweeps across the whole interval.

Specifically, given any natural number n, let be the largest power of 2 that is , so that , where . Then define