Hagamos las cuentas para la primera iteración de Grover.