Redirecting to Borel–Carathéodory theorem