Может ли неравенство быть строгим?

Василий Банников, diamS - наибольшее из расстояний между 2 различными точками замкнутого множества S,
S(x,r) - шар с центром в точке x, радиуса r.