Para cada constante positiva formula_15, existe un número real positivo formula_16 tal que