Sin embargo, formula_20 es irracional.