I think it's usually just called the pigeonhole principle. It's a special case of the Infinite Ramsey Theorem.
Assume that 70 million disjoint sets all have finite cardinality. Then the cardinality of the union is the sum of the cardinalities, and is finite by construction.
Contradiction; QED.