Global convergence criteria for discrete time nonlinear systems