On the capacity rates of two-dimensional runlength limited codes

We give a rigorous proof of Etzion and Wei's conjecture about the capacity rate of two-dimensional runlength limited codes. We also provide an alternative approach to compute the capacity rate.