Nutze
n→∞limg(n)f(n)=0⟹g(n)∈/O(f(n))
Für das Erste also
n→∞lim22n2n=n→∞lim2n−2n=n→∞lim2−n=0
und somit
22n∈/O(2n)
Alternativ:
Nehme an, 22n∈O(2n) und somit gilt für ein c∈R und alle n≥N für irgendein N
22n≤c2n⟺2n≤log2(c)+n⟺n≤log2(c)
Das kann aber nicht sein, da n linear wächst und log2(c) eine Konstante ist. Ein Widerspruch.