Probar que formula_42 es irracional.