匹配上界与下界意味着理论上的最优性：上界由具体估计量的风险分析给出，下界通过Le Cam、Fano或Assouad等极小极大下界技术构造。