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
.