法表示成两个整数之比的形式（形如formula_3的分数常用来近似表达formula_1，但是没有任何普通分数（指整数的比）可以取到formula_1的精确值）。由于formula_1是无理数，故可表示为无限不循环小数。有多种方法能，这些证明也都要用到微积分学和反证法。人们还无法准确得知formula_1可以用有理数来近似的程度（称为无理性度量），不过估计其无理性度量比或的要大，但是小于刘维尔数的无理性度量。人们通过检验，包括正规数的检验，验证了formula_1的位数没有明显的固定模式。因此，form