Dalam situasi sebelumnya, mengapa \(f(X)\) memiliki batas atas terkecil \(M\text{?}\) Mengapa \(M\) harus merupakan unsur \(f(X)\text{?}\)