
$\sigma_\infty
  (n) = 40$
