さて

e^z=lim(ｎ→∞))(1+z/n)^n

は定義の置き換えの典型例である

オイラーはeの虚数ベキを直接計算したわけではない

教育的配慮からいえば、ｅ＾ｘのｘに虚数を記すべきではない

exp z=lim(ｎ→∞))(1+z/n)^n

と定義した上で、引数が実数の場合

exp x=e^x

となる、とするべきである