2^(2^(l-2)+l) > 3^(2^(l-2))