https://erich-friedman.github.io/packing/cirintan/ n=2~7早在1996~1997年就被Yinfeng Xu和Hans Melissen先后证明，通过对应换算关系也可直接得到本站的n=2~7。因此n=2~7应该被标为“已证明最优”或“已达最优”而非“已追平已知最好”。
P16 · Spreading points in a right triangle · Discussion
外部信息遗漏
谢谢指出。Yinfeng Xu 1996 年的论文（Acta Math. Appl. Sinica 12(2):169–175）给出了 n ≤ 7 的精确最优值，Friedman 的表也列为已证明。p16 的 n = 5、6、7 已标为已证最优，并在页面注明本站引用该证明、未自行重新推导。纪录持有人不变。