Por lo tanto, existen un par de números reales formula_16 y formula_17 para los cuales