Vamos a empezar mostrando el siguiente igualdad (en la parte izquierda de la que es en realidad la suma original en disfraz):
$$1+\sum_{n=1}^m \left((1+x^n)\prod_{k=1}^n \frac{1-yx^{k-1}}{y-x^k}\right) = \prod_{k=1}^m \frac{1-yx^k}{y-x^k}$$
La prueba por inducción es muy simple: el caso Base ($m=0$) es trivial. Para el inductivo, es suficiente para mostrar lo siguiente:
$$ \prod_{k=1}^{m+1} \frac{1-yx^k}{y-x^k} - \prod_{k=1}^m \frac{1-yx^k}{y-x^k} = (1+x^{m+1})\prod_{k=1}^{m+1} \frac{1-yx^{k-1}}{y-x^k}$$
Deshacerse de los denominadores, nos da:
$$ \prod_{k=1}^{m+1} (1-yx^k) - (y-x^{m+1})\prod_{k=1}^m (1-yx^k) = (1+x^{m+1})\prod_{k=1}^{m+1} (1-yx^{k-1})$$
La mayoría de los factores en el producto cancelar demasiado (factores de la forma $(1-yx^k)$ $1\leq k\leq m$ aparecen en todos los productos):
$$(1-yx^{m+1}) - (y-x^{m+1}) = (1+x^{m+1})(1-y)$$
Desde el lado izquierdo y el lado derecho son iguales, hemos terminado con la prueba de la igualdad.
Ahora que sabemos que la suma es en realidad igual a un producto, vamos a estimar las condiciones en el producto! Desde $|x|<1$, el valor de $yx^k$ disminuye (en valor absoluto), por lo que el numerador $(1-yx^k)$ converge a $1$. Del mismo modo, el denominador $(y-x^k)$ converge a $y$, por lo que la fracción converge a $\frac{1}{y}$. Pero eso significa que después de cierto punto, todos los términos en el producto, en valor absoluto, estrictamente menor que $\frac{1}{|y|}$. Pero eso significa que su producto va a converger a cero... y la totalidad del producto.