[math-fun] Tightly coloring K_n?