donde formula_88 es enésimo primo y formula_89 es el primorial del enésimo primo.