回顾先知不等式 | Synapse