n≧2の時　M_n=4^n-1 とする。
この時k個の素数の積となる　M_n=（p_1）^（l_1）*（p_2）^（l_2）…（p_k）^（l_k）
l_1、l_2、…l_kは適当な自然数である。

4^（n-1）≧k^2 を証明せよ