Cauchy–Bunyakovsky–Schwarz inequality; n-tuples; orthonormal families; selfadjoint operators