User blog comment:Wythagoras/Extension of SCG/@comment-5029411-20130809235135/@comment-10429372-20130810064635

I think it is at least theta(Omega_Omega).