모든 실수 x에 대해 미분 가능한 함수 f(x)가 있을 때

집합 {x : f'(x) = 0}이 uncountable하면서

f(x)가 증가함수 (a < b이면 f(a) < f(b))

일 수 있나요?