コーシー・シュワルツの不等式の証明をし、それを用いて算術平均と調和平均の不等式を示しました。