0\le\frac{\prod_{i=1}^{n+1}\left(1+\operatorname{sign}\left(\operatorname{mod}\left(x+\frac{y}{\sqrt{3}},2^{-i}\right)-\operatorname{mod}\left(x-\frac{y}{\sqrt{3}},2^{-i}\right)\right)\right)}{1-2\operatorname{sign}\left(\left|y-\frac{\sqrt{3}}{2}\left(\frac{1}{2}-\left|x-.5\right|\right)\right|-\frac{\sqrt{3}}{2}\left(\frac{1}{2}-\left|x-.5\right|\right)\right)}