good day everyone,.,i need ur help once again,.,.can u help me prove this??

infimum = alpha iff (-infinity, alpha) intersection S = null and

[alpha, alpha + epsilon) intersection S not equal to Null for all epsilon > 0.

sorry for the luck of symbols used,.,.thnx