n^4 > log2(n)+2+16*n*log2(n)