k\ge k_0