Solution (source code)

= Solution

The all-zero amplitude is $2^{-n}\sum_x(-1)^{f(x)}=1-2k/2^n$, so its probability is $(1-2k/2^n)^2$. For a general nontrivial $k$ it lies strictly between zero and one.