Approximate surjectivity with geometric correction ($Tx=y,\Vert x\Vert \le R\Vert y\Vert /(1-k)$)

Let $T:V\to W$ be a bounded linear operator with $V$ a Banach space. If every $y\in W$ has an approximate preimage $x$ with $\Vert x\Vert \le R\Vert y\Vert$ and $\Vert Tx-y\Vert \le k\Vert y\Vert$, where $k<1$, then every $y$ has an exact preimage with the displayed norm bound. Repeatedly correct the residual: the corrections have norms at most $R{k}^j\Vert y\Vert$ and form an absolutely convergent series; its image under $T$ equals $y$. This proves surjectivity but does not provide a bounded linear right inverse.