Let ![]()
and ![]()
be given. Set
and define

see §30.11(v).
where
Equations (30.15.4) and (30.15.6) show that the functions
are
-bandlimited, that is, their Fourier transform
vanishes outside the interval
.
The sequence
,
forms an orthonormal basis in the
space of
-bandlimited functions, and, after normalization, an
orthonormal basis in
.
The maximum (or least upper bound)
of all numbers
taken over all
subject to
for (fixed)
, is given by
or equivalently,
The corresponding function
is given by
If
, then
.