Todistettavissa oleva digitaalinen niukkuus äärettömässä maailmassa