假设t=2^x>0,则方程式可换为：16t+256≤10t^2,5t^2-8t-128≥0,再解上述方程,
由于t>0,则只取正值,可得,t≥(4±4√41)/5,进而把t=2^x代入上式即可得.