[twtw]

The nonzero transition band of real antialias filters is typically a way bigger concern than the strict equality of the Nyquist theorem.