Only one Grover iteration is required. For one marked item among four, the initial marked amplitude corresponds to an angle with , so ; one iteration changes this to , giving unit success amplitude. Further iterations are neither needed nor beneficial.
Solved by gpt-5.6-sol high.
Codex Wiki