"有界量乘无穷大量是无穷大"——没有这个结论,只有“有界量和无穷小量的乘积是无穷小量”
判定无穷大量的时候至少需要其绝对值有非零的下界,此时仅仅有界不够
第一种做法是正确的,并且很容易用极限的定义直接验证换元的合理性