TY - RPRT TI - An explicit lower bound for the unit distance problem AU - Will Sawin PY - 2026 UR - https://arxiv.org/abs/2605.20579 ID - 2605.20579 ER -