对每个 n>1n>1n>1，令乘积遍历 An−1A_{n-1}An−1 的所有不同素因子 ppp，定义 an=an−1∏p∣An−1(p−1)a_n=a_{n-1}\prod_{p\mid A_{n-1}}(p-1)an=an−1∏p∣An−1(p−1)。每个 An−1A_{n-1}An−1 都是奇数，故这些素数为奇数；从 a1=3a_1=3a1=3 起指数严格递增。