이거 도함수 구할 때 양변에 로그 취해서 lny=alnx 만들어 놓고
양변 미분하던데 이거는 y가 미분가능하다고 전제하고 전개하는 논리 아님? 고등학교 과정에서 y가 미분가능하다는 걸 보일 수는 없나