Lens diameter (Score 2, Insightful)

So according to Rayleigh's formula, that kind of resolution would mean that the lens diameter would be about 13 km (for visible light having a wavelength of 500 nm). Of course, with a lens that big one would have serious aberration problems. (First-year-physics-student syndrome made me do it.)