Gauss lens formula