安全库存公式的证明