Convergence of the discrete-time Riccati equation to its maximal solution