Strict Monotonicity：Tangent-Gap Refinement 與 2007 Conjecture (5) 的最後一半

切線間隙細化引理（把一個切線間隙二分，寬度為一的鏈恰好縮短 4u³/(1 − u²)，u = tan(δ/4)），加上精確的基底 t₃ < 7/16 < t₄，得到對真正的階段最優解 t_n < t_{n+1}，條件是「G0-lite」。