対数関数log[e]x=∫[1→x]dt/t で定義し、その逆関数として指数関数を定義し、基本性質を示せ。という問題の答えを教えてください