本来それがe^xの定義