Original: Therefore, the total expected number of Fermat primes is at most
Simplified: Every prime of the form 2n + 1 is a Fermat number, and such primes are called Fermat primes. The only known Fermat primes are F0,..., F4.