最小分散の厳密な下限

点集合の最小分散に対する厳密な下限を示す。