# Fermat numbers

The Fermat numbers $F_n$ are defined for positive integer $n$ by $$F_n = 2^{(2^n)}+1.$$