Let's do the math, just 1.06 million tons of uranium resource reserves, plus the associated molybdenum ore, copper ore, etc. These are not pure things. They are mixed with various stones, and there are at least 200 to 300 million tons The ore to be dug!
This is just a resource point, and there are other iron ore, copper ore, aluminum ore, titanium ore... the miscellaneous things add up, there are at least two or three billion tons of stones to be dug!
Well, it seems that the number is quite large, but, but... this is just a small head, the real thing is - ice cubes!
Geologists have discovered four large glacial lakes near the North Pole. It is conservatively estimated that there are 3,000 cubic kilometers of ice or water. Converted to mass, that is - 300 billion tons!
There are 300 billion tons of ice to dig out!