最优刀具更换周期上界、检查间隔下界的证明

• The Proofs of the Upper Bound for Optimal Knife-Replacement Period and the Lower Bound for Check Period