一个有理型不等式猜想的证明

郭要红老师在文[1]中提出下面猜想：设a，b〉0，扎是正整数，若ab≥n√（1-1/2n-1）2。