在 Python 中查找 k 的程序,其中 k 个元素的值至少为 k