Let and be given. Set and define
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
The corresponding function is given by
If , then .