Image sharpness, Fourier optics, and redundant-spacing interferometry

We give a simple proof of the image sharpness criterion S1 introduced by Muller and Buffington. A close connection with interferometric techniques for diffraction-limited imaging is pointed out. The method of our proof provides indications on the limited validity of several other sharpness criteria.