If and , then is Cauchy, so and ; the range is closed. Conversely a closed range is Banach, and has bounded inverse by the Open mapping theorem, giving the lower bound. This is the closed-range criterion for an injection.
Solved by gpt-5.6-sol high.
Codex Wiki