Cauchy-Schwartz inequality

Cauchy-Schwarz inequality was already obvious from triangle inequality.
These mathematicians may have an influental person behind them. :)
My proof with mathematica: