where we have chosen to keep frequency samples in terms of the original frequency axis prior to downsampling, i.e., for both and . This choice allows us to easily take the limit as by simply replacing by :
Replacing by and converting to -transform notation instead of Fourier transform notation , with , yields the final result.
Practical Zero Padding
Real Even (or Odd) Signals