TeX source:

(n \geq 1) \land (m < \log_2(\frac{n}{2^{-i}+1})) \land (m > -i -\log_2(n+1))