User blog comment:Ikosarakt1/BEAN is much stronger/@comment-84.107.139.241-20130712111505/@comment-5529393-20130712134821

Ikosarakt1, earlier you went out to the limit of Bowers' notation, and it was at about \_3 in Bird's old notation, which would be less than theta(zeta(Omega+1)). Did you change your assessment?