mula_1的精确值）。由于formula_1是无理数，故可表示为无限不循环小数。有多种方法能，这些证明也都要用到微积分学和反证法。人们还无法准确得知formula_1可以用有理数来近似的程度（称为无理性度量），不过估计其无理性度量比或的要大，但是小于刘维尔数的无理性度量。人们通过检验，包括正规数的检验，验证了formula_1的位数没有明显的固定模式。因此，formula_1的小数中任意固定长度的序列（例如3位数字的000,001……999）出现机率都相同。不过有关是正规数的猜想既无证明，亦无-{zh