1: \begin{proof}

2: 	Since both $\omega_4^s$ and $\omega_{6}^s$ are rigorously known to be universal optimizers for all $s\geq -2$, 

3: and therefore do not depend on $s$ when $s\in(-2,\infty)$, whereas $\omega_{5}^s$ does, it follows from the definition

4: (\ref{MINaveRIESZpairENERGY}) that 

5: \begin{align}

6: 	\ddot{v}_s^{}(5)

7: &\geq\label{eq:DDvs.5.INEQU}

8:         {v}_s^{}(4) -2 	\langle V_s\rangle (\omega_5^{\mathrm{trial}})  +{v}_s^{}(6),

9: \end{align}

10: where $\omega_5^{\mathrm{trial}}$ is any trial $5$-point configuration. 

11:         Picking the regular triangular bi-pyramid, and using (\ref{eq:vs.2.3.4}) and (\ref{eq:vs.6}) yields (\ref{eq:DDvs.5}).

12: \end{proof}

13: