This is an unofficial reimagining of the Archive of Formal Proofs
Cauchy's Mean Theorem and the Cauchy-Schwarz Inequalityby Benjamin Porter