Câte numere naturale de patru cifre sunt cel puțin egale cu 2017?