[math-fun] Exact Devil's Staircase