In 10,000 years will it be technologically and/or economically viable to mine landfills for these materials? The elements are still there, potentially in greater concentrations than the ores from which they were originally mined.
This xkcd talks instead about surface area, but suggests that the Earth holds a good chunk of the mine-able volume that can fuel industry.
Now, if we could siphon off hydrogen from the gas giants and fuse them into heavier elements, we could have orders of magnitude more material to work with.
[0] https://en.wikipedia.org/wiki/Goldschmidt_classification#Sid...
[1] https://www.sciencedaily.com/releases/2011/09/110907132044.h...
I was surprised to learn that the earth is about as massive as Mercury, Venus, Mars, the moon and a few more moons combined.
Most asteroids have so little gravity that mining them out would be quite feasible.