ネイピア数eが無理数であることの証明って結構長ったらしいことした記憶がある