Lemma
DeepInequalities
#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

Attach photos of your pages (up to 3) or one PDF — or check what you typed above. Lemma reads the work and verifies the reasoning, not just the answer.

Your first check today doesn't need an account.

Your photos and PDFs are read once and not stored — only the transcription is kept.