n^3 < 4^((2n - 1)^8)