Yet another inverse function theorem

Jaume Gudayol

We prove a Nash-Moser type inverse function theorem in Frechet spaces for functions with approximate inverses, allowing for a loss of derivatives proportional to $n$ in the way of…