Ex9 13

$\def\abs#1{|#1|}\def\i{\mathbf {i}}\def\ket#1{|{#1}\rangle}\def\bra#1{\langle{#1}|}\def\braket#1#2{\langle{#1}|{#2}\rangle}\def\tr{\mathord{\mbox{tr}}}\mathbf{Exercise\ 9.13}$

For the quantum counting procedure of section 9.5.2, show how the estimate of $t$ is obtained in the case that a bad state is measured.