# 상한의 해석적 정리