Global stabilization of discrete‐time linear systems with bounded inputs