最优刀具更换周期上界、检查间隔下界的证明
최우도구경환주기상계、검사간격하계적증명
The Proofs of the Upper Bound for Optimal Knife-Replacement Period and the Lower Bound for Check Period