OP-01140 Solution claimed Heilbronn's triangle problem CO · discrete geometry · Erdős problems · Heilbronn triangle problem