The inequality with 1/3 is a special case of the Cauchy inequality 😉