MnZn 在学决策单调性优化DP，发现有的DP决策单调性是用导函数来证的，但是MnZn之前没接触过导函数，求关于导函数的详细介绍和如何用导函数证明决策单调性。谢谢大佬呀~