f(n)多项式有解即存在c1,c2,n0使得n>=n0时有
c1nk≤f(n)≤c2nk成立,即lgc1+klgn≤lgf(n)≤lgc2+klgn
故
lgf(n)=Θ(lgn)
∵lg(⌈lgn⌉!)=Θ(⌈lgn⌉⋅lg⌈lgn⌉)=ω(lgn)
∴⌈lgn⌉!多项式无界
∵lg(⌈lglgn⌉!)=Θ(⌈lglgn⌉⋅lg⌈lglgn⌉)=Θ(lglgn⋅lglglgn)=o(lg2lgn)=o(lgn)
∴⌈lglgn⌉!多项式有界,且比多项式增长更缓慢