じゃあ、eが無理数の証明と似たようにやるのかな?