さて
α:limit
のときのωαだけが
cf(ωα)<ωα
で有り得るのだが
確かに
cf(ωω0)=ω0<ωω0
cf(ω(ω0+ω0))=ω0<ω(ω0+ω0)
となるから
もしかして
cf(ωα)=cf(α)
なのかな？