밑에 누가 질문해서 올립니다.

Ln(x)를 정적분으로 정의해서 e의 정의를 증명할 수 있습니다

흔히 지수함수를 먼저 정의하고, 그 역함수를 로그로 정의하지만 로그를 먼저 정의할 수도 있습니다.

e^x = (ln(x))^(-1)임을 보임으로써 지수함수를 만들 수 있습니다.

이 경우 e의 정의는 ln(x) = 1이 되는 x의 값으로 정의됩니다.