Por lo tanto, podemos definir formula_30 de forma recursiva: