In concise terms, What type of image does a convex lens form when object is at infinity? — the scientifically appropriate response is Real and diminished at focus. Option-wise review: Real and diminished at focus is correct under the condition given in the stem. Virtual and enlarged is incorrect because it describes a different quantity or phenomenon and does not meet the stated condition. Virtual at focus is also incorrect; although it may be a valid physics term, its definition or application is not the one asked here. Real at 2F is incorrect because it fails the governing relation or characteristic relevant to this case. Identify the chapter, recall the exact definition or equation, check the unit or direction if applicable, and then eliminate choices that contradict it. Therefore, option C, Real and diminished at focus, is factually and logically consistent with the question. When an object is at infinity a convex lens forms a real diminished image at the focus F.