A man who cannot see clearly beyond 5 m wants to see stars clearly. He should use a lens of focal length ___ m.