[math-fun] Sparse Ruler Conjecture