9*(10^9) / 1 = (√2)^(x - 2011)