Lemma
DeepWrite a proof
#50 · Algebra · Inequalities

A dot product can't be too big

Suppose and . Prove that .

~12 minWritten answer · check your work with LemmaCauchy–SchwarzSquares are nonnegative
Stuck? A gentle nudge
Something off?
Workspace
Your working

Check your full solution

Upload photos of your handwritten work or a PDF, and Lemma will read it and tell you whether it's right — and where it first goes wrong if not.

Sign in to have your work checked. It's free.