Help with proof of d’Alembert’s test for convergence of series While going through Analysis 1 textbook by V. A. Zorich, I encountered this proof of d’Alembert’s test for convergence, which has this one part whose purpose isn't very clear to me.
The statement and the proof:
Suppose the limit $\lim_{n \to \infty} \left\lvert \frac {a_{n+1}}{a_n}\right\rvert=\alpha$ exists for the series $\sum_{n=1}^{\infty}a_n$. Then,
a) if $\alpha < 1$, the series $\sum_{n=1}^{\infty}a_n$ converges absolutely;
b) if $\alpha > 1$, the series $\sum_{n=1}^{\infty}a_n$ diverges
c) there exist both absolutely convergent and divergent series for which $\alpha=1$.
Proof.
a) If $\alpha<1$, there exists a number $q$ such that for $\alpha<q <1$. Fixing $q$ and using properties of limits, we find an index $N \in \mathbb{N}$ such that $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ for  $n>N$. Since a finite number of terms has no effect on the convergence of a series, we shall assume
without loss of generality that $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ for all $n ∈ \mathbb{N}$.
Since
$$\underbrace{\left\lvert \frac {a_{n+1}}{a_n}\right\rvert \cdot \left\lvert \frac {a_n}{a_{n-1}}\right\rvert \dots \left\lvert \frac {a_2}{a_1}\right\rvert=\left\lvert \frac {a_{n+1}}{a_1}\right\rvert}_{\text{The problematic part}}  $$
we find that $|a_{n+1}| ≤ |a_1| · q^n$. But the series$\sum_{n=1}^{\infty}|a_1| q^n$ converges (its sum is obviously $\frac{|a1|q}{1−q}$), so that the series  $\sum_{n=1}^{\infty}a_n$ converges absolutely.
Since I have no issues with parts for $\alpha > 1$ and $\alpha = 1$ I will skip those.
End of proof.

My question:
The issue is, I don't understand what is the role of the underbraced "Problematic part". I am aware of the processes which occur there (a lot of fractions cancel out so we are left only with  $\left\lvert \frac {a_{n+1}}{a_1}\right\rvert$) and that we use the comparison test later to finish the reasoning. But why are we looking at the product of all terms of the $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert$ sequence ?
Were the both sides of the inequality $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ perhaps raised to the $n$-th power and then we somehow got $|a_{n+1}| ≤ |a_1| · q^n$ ? If no, what is happening from this step onward ?
EDIT: Another phrasing of my question: Why did it make sense at that point in the proof, to get the idea to observe the product of successive terms of an+1an and why is the way of arriving from there to  |an+1|<r|an| so 'obvious' that no explanation was given before that jump in deducing ?
Thanks
 A: Using all the symbols as in your post and considering only the case $\alpha \lt 1$, try to understand the proof like this (i.e., don't just assume at the very beginning  that $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ is true for all $n\in \mathbb N$): 
$\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ for $n\gt N$ 
Therefore, $|a_{n+1}|\lt q|a_n|\lt q(q|a_{n-1}|)=q^2a_{n-1}\lt\cdots\lt q^{n-N}|a_{n-(n-(N+1))}|=q^{n-N}|a_{N+1}|\implies |a_{n+1}|\lt|a_{N+1}q^{-N}||q^{n}|\tag{1}$ 
$\sum_{n=N+1}^{\infty}|a_{N+1}q^{-N}||q^{n}|$ converges as $|q|\lt 1$ and hence by comparison test the series $\sum_{n=N+1}^{\infty}|a_{n+1}| $ also converges and adding a finite no. of terms won't affect its convergence and therefore $\sum_{n=0}^{\infty}|a_{n+1}| $ also converges. 
Reply to your queries: 
"But why are we looking at the product of all terms of the  $|\frac{a_{n+1}}{a_n}|$sequence ?" - Because we want to compare $|a_n|$ with a convergent sequence which we get as per $(1)$.  
"Were the both sides of the inequality $\left\lvert \frac {a_{n+1}}{a_n}\right\rvert<q$ perhaps raised to the n-th power and then we somehow got $|a_{n+1}| ≤ |a_1| · q^n$ ?"- Please refer $(1)$ how $q$ raised to power $n$ was obtained.
A: Maybe it's easier to see this if we just take it in steps:
$1).\ $ There is an $0<r<1$ and an integer $N$ such that $\left|\frac{a_{n+1}}{a_n}\right|<r$ whenever $n>N.$ Fix this $N$ and $r$. Then,
$2).\ |a_{n+1}|<r|a_n|$ for $n>N.$ So,
$3).\ |a_{N+1}|<r|a_N|$
$\ |a_{N+2}|<r|a_{N+1}|<r^2|a_N|$
$|a_{N+3}|<r|a_{N+2}|<r^3|a_N|.$
Now we see the pattern, so
$4).\ |a_{N+k}|<r^k|a_N|$. This means that
$5).\ \sum_{k=1}^\infty |a_{N+k}|$ converges by the comparison test. But this series is just a tail of the original series of absolute values, $\sum_{n=1}^\infty |a_{n}|$, which means that
$6).\ \sum_{n=1}^\infty a_n$ converges absolutely.
