 Closed-range bound on the kernel complement

For a bounded linear operator $T$ between Hilbert spaces, its range is closed exactly when there is $b>0$ with $\Vert Tv\Vert \ge b\Vert v\Vert$ for all $v\in (\ker T{)}^{\perp }$. The restriction to this orthogonal complement is a bounded bijection onto the range, so the bounded inverse theorem proves necessity. Conversely, the bound makes preimages of a Cauchy sequence of image points a Cauchy sequence, proving closedness by completeness.