
$n < 2^{40} \approx 1.2 \times 10^{12}$
