Tenemos una sucesión que converge al supremo del conjunto, ahora hay que ver que precisamente el punto dónde se asume el supremo es el punto "d", incluido en el conjunto, y por lo tanto este supremo es un máximo.