[math-fun] Wechsler disk problem