TY  - RPRT
TI  - A Certified Lower Bound for Lebesgue's Universal Cover Problem
AU  - Niantao Xie
PY  - 2026
UR  - https://arxiv.org/abs/2606.04458
ID  - 2606.04458
ER  -