Inspired by a question on #fractal forums dot org, I wrote a small #MandelbrotSet renderer that classifies pixels (modelled as little squares) according to whether they are interior, exterior, or boundary.
I added (adaptive) #supersampling to reduce the #ZoneOfUnknown surrounding the boundary, due to the fact that distance estimates are only good to a factor of 4 each way.
Not a trustworthy mathematical proof, because the factor 4 is optimistic (the distance estimate must be small, and there are other factors omitted from the simplified form that make it more like 4+k where k depends on the distance estimate), and because rounding errors might ruin everything.
I think I also have a bug in the factor of sqrt(2), probably it only belongs in one of the classification inequalities and not in the calculated pixel spacing.

