Considere uma progressão geométrica em que o primeiro termo é igual a 1 e a razão é igual a √2. Sabendo-se que o produto dos termos dessa progressão é 2¹⁸ e que P_n = (a₁ . a_n)^n/2, então o número de termos dessa progressão é igual a