The second equation of the 00_amplitude_estimation.ipynb tutorial mentions
$a = |\langle \psi_1 | \psi_1 \rangle|^2$
This is wrong, as $|\langle \psi_1 | \psi_1 \rangle|^2 = 1$. I assume the authors meant
$a = |\langle 0 | \mathcal{A}^\dagger | \psi_1 \rangle|^2$