함수 f=/=0가 있을 때 ln|f|가 미분가능할 경우
|f|=exp(ln|f|)이므로 함성함수 미분법에 의해 미분가능하며
(|f|)'=|f|(ln|f|)'

이거 맞죠?
그리고 저기서 f가 어떤 함수냐에 따라 절대값을 벗겨서
f'=f(ln|f|)'가 되는데
항상 이렇게 될 수는 없는 거 맞죠?
f가 x=무리수일때 -1 x=유리수일때 1이면
f는 미분불가능하지만 |f|는 미분가능하니까
반례 맞죠?