min
在线尝试!
接受数字字符串,将其最小数字输出为最小字符。例如,254
给出2
。这些数字的小数点开始
0.0123456789011111111101222222220123333333012344444401234555550123456666012345678801234567
这是OEIS A054054。
索赔:这个数字c
是先验的
证明: 请注意,c
它非常稀疏:几乎所有数字都是零。那是因为large n
,所以很有可能n
是零数字,而min则是零。而且,c
具有连续的零的长期运行。我们使用现有结果表明这意味着c
先验。
遵循此math.SE问题,让Z(k)
代表第k
'个非零数字的位置c
,并让c_k
该非零数字成为1
和之间的整数9
。然后,我们表达的十进制扩展c
,但只能取非零数字时,作为求和k=1,2,3,...
的c_k/10^Z(k)
。
我们使用乔治·洛瑟(George Lowther)给出的答案的第4点的结果:c
如果存在无限多个零,这些零至少是迄今为止位数的恒定分数,那么这就是超越的。形式上,必须有一个ε>0
让Z(k+1)/Z(k) > 1+ε
为无限多k
。我们将使用ε=1/9
对于任何数量的数字d
,采取k
与Z(k) = 99...99
用d
花枝招展。这样的k
存在,因为这个数字的c
是9
,等非零。从开始计数99...99
,这些数字都包含一个零数字,因此它标志着长期零开始c
。下一个非零数字要等到Z(k+1) = 1111...11
有一个数字d+1
。该比率Z(k+1)/Z(k)
略大于1+1/9
。
这样就满足了每个条件d
,暗示了结果。