유리수의 코시 수열이 실수의 성질을 지닌 다는 건 잘 알려져 있는데 사실 코시 수열이 순서체인 것 까지는 증명을 하겠거든 어차피 유리수 성질 거의 그대로 가져오면 되니까. 그런데 LUBP(a.k.a. completeness axiom)는 어떻게 증명해야 할 지 모르겠네


대충 최댓값 있을 때 없을 때 나눠서 어떻게 할 것 같은데