关于此题n=4已达最优的证明

分成三个小正方形，若最小距离大于sqrt2，则每个小正方形各自最多放一个，抽屉原理易证放不了四个，故sqrt2就是最优