Se define el iterado formula_4-ésimo