In the middle of a proof of the Inverse Function Theorem (namely, the proof of Baby Rudin), we use the fact that if $A$ is invertible and:
$$ ||B-A||~||A^{-1}|| <1$$
then $B$ is invertible. The proof for this, however, relies on the fact that the vector spaces are finite dimensional (because it concludes that $B$ is bijective by using that it is injective). How do we circumvent this, if we want to prove that IFT in banach spaces?