//题意是对于给定的x，求满足n! <= 2^(2^x)的最大的n
//两边同取以二为底的对数，可得： lg2(n!) <= 2^x
//而log2(n!) = log2(1) + log2(2) + .. + log2(n);一个循环即可
//当然不介意的话直接上Stirling应该也没问题