[math-fun] Remez Principle for lexically optimal muffin solutions