超越守訓不等式的式子真的出現了