User blog comment:Hyp cos/SCG(n) and some related/@comment-1605058-20140915163630/@comment-1605058-20140916052340

No, Ihaven't, but I can't see why your sequence is better. If it's based solely on ordinals, I'm not going to take that as a proof.