This implies immediately that cf(κ) ≤ κ.
这立即蕴涵了 cf(κ) ≤ κ。