미분가능한 함수의 도함수는 불연속적일 수 있지만 기껏해야 쬐끄만 영역 (meagre set)에서만 불연속일 수 있자너


그런 비슷한 결과를 C^infty 의 비해석적 함수에 대해 알아낼 순 없음? 실은 해석적인 함수가 measure 0 라던가


검색중인데 잘 안나옴...