User blog comment:TySkyo/Super-duperplex/@comment-24920136-20160805151516

Sn ≈ Rayo_1(n) in the rayo hierarchy