How to use the epsilon definition of sup in a proof

Diana Thomas