Does the inequality $2 \langle x , y \rangle \leqslant \langle x , x \rangle + \langle y , y \rangle $, where $ \langle \cdot, \cdot \rangle $ denotes scalar product, have a name?
I've tried looking at several inequalities on wikipedia but I didn't find this one. And of course googling doesn't work for this purpose.