Доведена цифрова нестача у нескінченному світі