O. Aichholzer, S. Allen, G. Aloupis, L. Barba, P. Bose, S. Langerman,
and J. Iacono
Given a set P of points in the unit square let w(P) be the minimum sum of the
squares of the edge lengths in the minimum spanning tree of P. We show that
w(P) < 3.411.