don't we need a min though like
min($x- \epsilon, x$)
so we can select an interval that's less than the min, so that interval is contained in ($x- \epsilon, x$) . So the neighborhood ($x- \epsilon, x$) and the interval contain infinite points, so x is an accumulation point of S ?!
this writing is so repetitive