真的大佬应该证他是超越数。
注意到0.1234567891011121314...已经被证过是超越数,这个可能考虑用类似的方法证。
更一般地,对取非常数整数值的多项式函数f(x),已经证明0.f(1)f(2)f(3)...是超越数。
参考文献: