- 上界卡：Grover 可达 $k \approx \pi/4\cdot\sqrt{N} \approx 0.785\sqrt{N}$ 次查询（第 6 页公式）
- 下界卡：任意算法 $k \ge (1/(2\sqrt{6}))\cdot\sqrt{N} \approx 0.204\sqrt{N}$ 次查询（第 12 页证明）
- 夹逼行：最优常数被夹在 $[0.204, 0.785]\cdot\sqrt{N}$ 区间内——阶已封死 $\Theta(\sqrt{N})$，二次加速不可再改进（成功阈值 $(1/2\pm\varepsilon)$ 的一般形式同法可证）
- 注意卡（一行）：下界只约束查询次数；初态与 $N$ 相关的"先验线路"另有混合论证，结论不变
- 洞见卡 + 展望卡：多项式次数是量子查询算法的宿命——"量子能多快"化归为"有界多项式能多陡"；第 5 章 QSP 反其道而行，干脆把整个算法设计成一个多项式
类型integration（公式结构页）