>>28
Σ_{k=0,1,…,+∞}(1/(k!+1))∈R/Q
は、取り敢えず確実だろうね。
幾つかの段階を踏んだ面倒な証明で、合っているだろう。