log2(x)^2/x < ((sqrt(5)-1)/2)^6