Por hipótesis de inducción formula_123 es acotado, luego es acotado superior e inferiormente.