m \ge k