음.. y가 S의 limit 포인트라면 y근처는 무수히 많은 S의 원소를 가진다. 그니까 여긴 R^k이니까 y의 오픈볼이랑 S랑 인털섹션이 infinitely many points를 가진다 (finite set은 limit 포인트를 안 가진다)는걸 사용 하구

저 부등식 첫줄은 그.. 메트릭 스페이스니까 중간에 정거장? 거쳐가면 거리 멀거나 같다는 걸 사용한 것 같은데

전반적으로 잘 모르겠다 헬프좀여