Solution
= Solution
First apply $F^\dagger$, which sends $|\phi_j\rangle$ to $|j\rangle$. Then measure in the computational <basis>. Because the phase has an exact $m$-bit representation, <exact quantum phase estimation> returns
$$
\boxed{p_j=1}.
$$