Nash–Moser inverse function theorem