大于号右边x变成log底数2（2的x次方）,再把它和log底数2(2的x+1次-3)并起来.因为log底数2是递增的,所以4的x次方+4大于（2的x+1次-3）*（2的x次方）.
之后设2的x次方为t.