
$k \geq k_0$
