inf∅=inf{∩{n=1,∞)(n,∞)}
=lim(n→∞)inf(n,∞)=lim(n→∞)n=∞