De hecho, la respuesta, obtenida mediante cálculos con ordenador, es formula_2