User blog comment:LittlePeng9/Random Turing machines/@comment-25418284-20130609012459

What's the best bound for \(\Sigma(n)\) you've proved so far?