[math-fun] The Erdos discrepancy problem