Optimally Covering Large Triangles with Homothetic Unit Triangles John M. Boyer arxiv.org/abs/2605.04111 [𝚌𝚜.𝙲𝙶]