Unbounded inverse on a nonclosed operator range (source code)

= Unbounded inverse on a nonclosed operator range

The injective diagonal map $(x_n)\mapsto(x_n/n)$ on $\ell^2$ is bounded, but its inverse on the range is unbounded; the range is correspondingly not closed.