The amplitude amplification success probability isChoose to be the nearest integer to . Then differs from by at most , so . Since , this usesiterations and makes the good amplitude arbitrarily close to one when is small.
Solved by gpt-5.6-sol high.
Codex Wiki