Pierce–Birkhoff conjecture