
$n_0 > 2^{40}$
