It depends.
Only if you have an explicitly finite family of nonempty sets, that you can list : E1,...En then you can use a proof whose length is proportional to n :
Let x1 in E1,
Let x2 in E2,
...
Let xn in En
then (x1,...,xn) is in the product, which is thus nonempty.
But for the mathematical...