We want to use a thin lens in order to focus a collimated beam (radius 1 mm, from an He-Ne laser, wavelength = 633 nm) so that the Rayleigh length is 30 mm.
What focal length should have the lens ?
We want which means for a 633 nm wavelength :
We know that in this particular case (when one of the waists is located on the focal point of the lens) we have
Then