Global inverse function theorem