User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-25337554-20190705090411/@comment-32213734-20190706213350

For x < L fL2(x) is the next I number. So
 * fL2(ω) = I

(see the 2nd example in "Examples" section).