Here is a simple short proof of one of the first main questions. > **Claim.** $C_p < 2$. *Proof.* Let $C_p$ be above. We look at two cases: (i) $1 < p < 2$, and (ii) $p > 2$. Case (i): From [this short note][1] we know that \begin{equation*} \|x+y\|_p^2 \le 2(\|x\|_p^2 + \|y\|_p^2) + (1-p)\|x-y\|_p^2. \end{equation*} Using the hypothesis, $\|x\|_p=\|y\|_p=\|x-y\|_p=1$, we obtain \begin{equation*} \|x+y\|_p^2 \le 5 - p\quad\implies C_p < 2. \end{equation*} Case (ii): [From Hanner's inequalities][2] since $p > 2$ we know that \begin{equation*} \|x+y\|_p^p + \|x-y\|_p^p \le (\|x\|_p+\|y\|_p)^p + | \|x\|_p - \|y\|_p |^p. \end{equation*} Using the hypothesis, we obtain \begin{equation*} \|x+y\|_p \le (2^p - 1)^{1/p},\quad \implies C_p < 2. \end{equation*} The only case we skipped here is $p=2$, but in that case $C_2=\sqrt{3}$ is already known to the OP. [1]: https://web.math.princeton.edu/~naor/homepage%20files/inequality.pdf [2]: https://en.wikipedia.org/wiki/Hanner's_inequalities