距離の連続性を使って最小距離の存在を証明すれば良い