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

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