优化方法之随机梯度下降SGD优化器收敛性证明

主要涉及一个光滑的函数性质（用泰勒展开进行一个证明），凸函数的性质（这两个涉及上次的梯度下降法的证明已经详细展开），还有就是SGD定义，方差的定义以及琴生不等式。

结合便可证。