α>0 β>0のとき、

α^(2β)≧2α+β^αを満たす実数α、βのうち
βは有限であることを示せ