Udowodniona cyfrowa rzadkość w nieskończonym świecie