User blog comment:Wythagoras/My Turing machines/@comment-5029411-20131017234912

Sigma(26,2) > f_{w+2}(Sigma(4,2))

Sigma(27,2) > f_{w+2}(Sigma(5,2))

Sigma(29,2) > f^2_{w+2}(100)

Sigma(43,2) > f^2_{w*2}(4)