ln は exp の逆関数であり、 expは級数で定義する。
exp がwell-definedであり連続関数であり逆関数を持ち指数法則を満たすことは証明しないといけない。