이제 선택공리 안쓰고 도전해야되겠네..
흠 선택공리를 사용한 증명을
다듬어서 선택공리안쓰고할수있으려나
아예 새접근이 필요할라나
고민 계속해봐야지
코시수열 동치류로 정의된 실수에서의
최소상계 존재 증명

- dc official App