2018-04-26 長方形をつかまえる 平面の部分集合で、次の2条件を満たすものは存在するか? ・の相異なる2元は距離1以上離れている ・ある定数が存在し、辺が軸に平行な面積以上の長方形は必ずの元を含む