eが無理数であることは別途証明できるから循環論法といっていいのやら…