Let $F$ be a number field, let $\mathbb{A}_F$ be the ring of adeles of $F$, and let $\mathcal{A}(n)$ be the set of cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_F)$ with unitary central character. I will express the generalized Ramanujan conjecture as the conjectural bound
$$|\lambda_{\pi}(\mathfrak{a})|\ll_{n,\epsilon}\mathrm{N}\mathfrak{a}^{\epsilon},$$
where $\lambda_{\pi}(\mathfrak{a})$ is the Hecke eigenvalue at $\mathfrak{a}$. One way to approach the generalized Ramanujan conjecture is to study the moments
$$\sum_{\mathrm{N}\mathfrak{a}\leq x}|\lambda_{\pi}(\mathfrak{a})|^{2k},$$
where $k\geq 1$ is a natural number. When $k=1$, this is bounded from above by
$$\sum_{\mathrm{N}\mathfrak{a}\leq x}\lambda_{\pi\times\widetilde{\pi}}(\mathfrak{a}),$$
where $\pi\times\pi'$ denotes the Rankin-Selberg convolution. The work of Jacquet, Piatetski-Shapiro, and Shalika establishes the basic properties of the Rankin-Selberg $L$-function $L(s,\pi\times\widetilde{\pi})$. These properties imply the first nontrivial bound, that $|\lambda_{\pi}(\mathfrak{a})|\ll_{n,\epsilon}\mathrm{N}\mathfrak{a}^{1/2+\epsilon}$.
To study $k=4$, the pertinent Dirichlet series (which is conjecturally an $L$-function with an analytic continuation and functional equation) is $L(s,\pi\times\widetilde{\pi}\times\pi\times\widetilde{\pi})$. For $k=6$, we need $L(s,\pi\times\widetilde{\pi}\times\pi\times\widetilde{\pi}\times\pi\times\widetilde{\pi})$. Hopefully the pattern is clear. We expect each Dirichlet series in this sequence converges absolutely for $\mathrm{Re}(s)>1$. That suffices to establish the generalized Ramanujan conjecture (take $k$ to be sufficiently large in terms of $\epsilon$).
Such a region of absolute convergence follows immediately if all of these Dirichlet series are in fact products of $L$-functions of cuspidal automorphic representations (as above). Equivalently, each of these higher-order convolutions are isobaric sums of cuspidal automorphic representations. One way to express the Langlands functoriality conjecture for $\mathrm{GL}_n$, at least as it pertains to the question, is that if $\pi\in\mathcal{A}(n)$ and $\pi'\in\mathcal{A}(n')$, then there exists an isobaric sum of cuspidal automorphic representations, say $\pi\boxtimes\pi'$, such that
$$L(s,\pi\times\pi')=L(s,\pi\boxtimes\pi').$$