
$n_0 \leq M(k)$
