Convex lens and focal length