eの存在を証明したいのか
y=e^xの逆関数が存在することを証明したいのか
対数関数とは何かを定義したいのか

何なの？