Zero density of open paths in the Lorentz mirror model for arbitrary mirror probability

We show, incorporating results obtained from numerical simulations, that in the Lorentz mirror model, the density of open paths in any finite box tends to 0 as the box size tends to infinity, for any mirror probability.