有限让位于无限