Задача:
Дано множество Е на прямой, причём inf(|Xn-Xm|)=a>0 (inf по n,m и n-не равен m), где Xn,Xm - любые точки Е. Доказать, что множество Е не имеет предельных точек

пробывал решать от противного, но что-то не смог довести доказательство до завершения, может из-за того, что не могу понять для чего здесь нужна нижняя граница

Пожалуйста, подскажите план доказательства, если сможете)

Это простое утверждение. Допустим, что предельная точка есть. Тогда существует последовательность {Хn} точек из Е, сходящаяся к этой предельной точке. По определению сходимости по Коши для любого епсилон существует N такое, что для всех n и m больших N : |Xn-Xm|меньше епсилон. Осталось взять епсилон=а, как получим противоречие с условием, так как по условию должно быть для ВСЕХ n и m : |Xn-Xm| больше или равно а.