Prove the existence of inf using the existence of sup with suitable conditions.

Comments