强化学习里面高斯赛德尔迭代法的收敛问题

如何用谱半径的方法证明值函数的高斯赛德尔迭代是一个收敛的向量序列