It is given by the unique positive real root of a polynomial of degree 71 with integer coefficients.
Δίνεται από τη μοναδική θετική πραγματική ρίζα ενός πολυωνύμου 71ου βαθμού  με ακέραιους συντελεστές.