$g_n$ is always a power of 2

$g_n$ is always composite for $n > 1$

$g_n$ can be arbitrarily large

$g_n$ is strictly increasing