e^πは誘導付いてるでしょ