User blog comment:B1mb0w/The T-Rex Function/@comment-35134374-20180409173315

Yes, for all transfinite ordinals n, fn(k)<n. So your statement about LVO is true.