That is not a tautology. A tautology is "a statement that is true by necessity or by virtue of its logical form." That statement may be "obvious" but it is no

That is not a tautology. A tautology is "a statement that is true by necessity or by virtue of its logical form." That statement may be "obvious" but it is not a tautology. "More x are used when there are more x" is not a tautology. It is often true, but it is not a logical necessity.