User blog comment:Ikosarakt1/Inverse busy beaver function/@comment-1605058-20140311153328/@comment-10429372-20140311155040

We can also know $$\Sigma^{-1}(n+1) \leq \Sigma^{-1}(n)+1$$.