위 증명에서 K가 꼭 compact여야 할 이유가 있을까? delta를 정의할 때 delta_p_i 가 무한개 있으면 min을 정의할 수 없어서 그런 거임?