9MM@&&9:qz8M8z9Mii9 6EM~MM2infimum supremumpc 6