f가 연속이고 미분가능임 f'(x)가 0보다 작은 집합이 가산집합이면 저놈은 ø이될수밖에 없다는 문제를 보이고싶은데 저기서 미분계수가 0보다 작게나오는 r을 또 만들어줄 수 있어서 저게 결국 uncountable이다 라는말을 하고싶은데 뭔가 좀 부족하고 우기는 것 같아서 도움을 요청한다 - dc official App
A에서 a를 고르고 그 밖에서 b를 고르면 f'(a)<0=<f'(b)라 Darboux's thm에 의해 각 r in (f'(a), 0)에 대해 f'(x)=r인 x가 존재하고 저런 r이 uncountably many 존재하니 끝
그냥 보장이 되나보넹 ㄱㅅ - dc App
D 잘쓴다