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