Re: [math-fun] Erdos "minimize count of distinct distances" problem (pretty much) solved