An explicit lower bound for the unit distance problemarxiv.org3 points·rvz··0 commentsOpen articleSaveView on HN