Input (grade 6): Therefore, the total expected number of Fermat primes is at most
Output (grade 4): 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.