Bevisbar digital knapphet i en uendelig verden