Usando el lema de la mayoración, debe existir un "k" tal que formula_9