1. Se B um conjunto que tem cota superior ento sup B = inf(B).

Soluo:
Como B tem cota superior, B limitado superiormente. Ento b sup B, donde
sup B b. Logo sup B cota inferior para o conjunto B. Por definio de
nfimo, sup B inf(B), ou seja,

inf(B) sup B. (1)

Por outro lado, inf(B) b, b B, donde b inf(B). Logo inf(B) uma

cota superior para o conjunto B. Por definio de supremo,

sup B inf(B). (2)

Portanto, de (1) e (2) segue que sup B = inf(B).