f(x)가 실수 전체의 집합에서 미분 가능 -> g(x)에서 그냥 곱미분 때려도 된다 필요충분 조건임?

xsin(1/x²) 같은 반례가 없다는게 보장되려나