>>281
exp(-x)/x の不定積分F(x)が、
積分指数関数以外で表せたと仮定する。
Ei(-x)+C = F(x)であるから、
Ei(-x)が他の簡単な形に表せることを意味する。

これは大発見だ