⌈f(x)⌉ < ⌈f(⌈x⌉)⌉라 가정하면 모순이 유도된다는 건데,
새로운 함수 g로서 g(x) = ⌈f(x)⌉라 두면 단조증가인데, x를 넣은 함숫값 ⌈f(x)⌉보다 ⌈x⌉를 넣은 함숫값 ⌈f(⌈x⌉)⌉이 더 크니까
그냥 정의역에서 x보다 같거나 크고 ⌈x⌉보다 작은 임의의 y를 사잇값처럼 그냥 하나 잡을 수 있다.. 그런 이야기 인가요?
라고 생각했는데... f가 연속이지, 이 함수 g가 연속인 건 아니라서 잘못된 이해같아서 질문드립니다.
---- 해결 완료 ----
그런 가정 하에 f(x) =< k < f(⌈x⌉) 인 정수 k가 존재하기 때문
해결한 짤 올렸는데 검토좀요