{'fraction_non_alphanumeric': 0.019337016574585635, 'fraction_numerical': 0.0027624309392265192, 'mean_word_length': 3.9054054054054053, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A proof of the inverse function theorem

The purpose of this note is to give a proof, hopefully new, of the inverse function theorem as an application of the local existence theorem for differential equations. If Ω  is an open subset of a Banach space E and T: Ω → E is of class C 1 , then T is locally bounded and satisfies a Lipschitz condition at every point.