(displaymath
  (sum
    k=1 n
    (frac
      (seq q (^ (overline m)))
      (seq a_1 + a_2 + (cdots) + a_n)))
  >=
  (seq (paren m + 1) (^ 2))
  (sum
    (seq 1 (le) j (le) n) ()
    (frac
      (seq j (^ (overline m)))
      a_j)
    (sum (seq j (le) k (le) n) ()
         (frac
           (seq k (^ (overline n)))
           (seq (seq k (^ (overline m + 1)))
                (^ 2))))))