양의
인 양의 정수 formula_97 및 formula_98 및 양의 실수 formula_99가 존재한다. (formula_100는 열린 공을 뜻한다.) 즉,