Two kinds of claims, two kinds of proof
To prove “there exists with ”, show one example where holds.
To prove “for all , ”, let be arbitrary, meaning you assume nothing about it except what is given, and show holds.
To disprove a “for all” claim, give one counterexample.