Sorry if I am being stupid. But I came to this lemma in the Appendix, written by Bourgain, Kontorovich and Magee, of the paper by Magee, Oh and Winter [[MOW16]][1]. It starts out like this: > **Lemma 42** Let $\pi$ be a unitary $G$-representation on a Hilbert space $H$, and assume that the operator $A$ acts on $H$ via $$A\varphi=\sum_{j\in J}\pi(h_j)\varphi,$$ for some $h_j\in G$ and indexing set $J$. Assume that $A$ has the "spectral gap" property: there is some $C_0>0$ so that $$\langle A\varphi,\varphi\rangle\leq(1-C_0)|J|\|\varphi\|^2.$$ For sme positive coefficients $\kappa_j>0$, let $\widetilde {A}$ act on $H$ as $$\widetilde{A}\varphi=\sum_{j\in J}\kappa_j\pi(h_j)\varphi,$$ and assume that the $L^\infty$ norm of the coefficients is controlled by the $L^1$ norm, in the sense that for some $K\geq1$, $$\text{max}\kappa_j\leq K\bar{\kappa},$$ where $$\bar{\kappa}:=\frac{1}{|J|}\sum_{j}\kappa_j$$ is the coefficient average. Then $\widetilde{A}$ has the following "spectral gap": $$\langle\widetilde{A}\varphi,\varphi\rangle\leq\bar{\kappa}(1-C_0+\sqrt{K-1})|J|\|\varphi\|^2.$$ Here, the group $G$ is $\mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z})$ with an arbitrary integer $q$. In their paper, they said it was an exercise in Cauchy-Schwarz. However, I was wondering how they did it to make the final result consist of two terms, $(1-C_0)$ and $\sqrt{K-1}$, in the bracket. I attempted a few times applying the Cauchy-Schwarz directly to the inner product, only to find terms with $K$ instead of $\sqrt{K-1}$. This is a duplicate of [the question][2] asked in Mathstackexchange but without any further progress. Any comments are appreciated. [1]: https://arxiv.org/pdf/1601.03705v2.pdf [2]: https://math.stackexchange.com/questions/2012952/cauchy-schwarz-and-spectral-gap