We know inf(S)≤s
S
s
for all s. Therefore, −inf(S)≥−s
S
s
. In other words, −inf(S)
S
is an upper bound for −S
S
. Hence, sup(−S)≤−inf(S)⟹inf(S)≤−sup(−S)
S
S
S
S
. This is half of the problem. But, with this in mind, you can figure out the other direction. In other words, you want to show inf(S)≥−sup(−S)
S
S
. Ok, so you can say that since −S
S
is bounded above, then −s≤sup(−S)⟹s≥−sup(−S)
s
S
s
S
. Therefore, −sup(−S)
S
is a lower bound for S
S
which implies inf(S)≥−sup(−S)
S
S
Finally inf(S)≤−sup(−S)
S
S
and inf(S)≥−sup(−S)
S
S
implies
inf(S)=−sup(−S)