If it probably exists, then it does

This is my individual submission for #Some2
Follow me on Tiktok! / sackvideo
Resources on the probabilistic method:
en.wikipedia.o...
2012.cccg.ca/p...
www.cut-the-kn...
theory.stanfor...
www.amazon.com...
Corrections:
At 3:45 the last 2 lines should read "2^(k/2 + 1)
At 3:57 the "s" should be a "k"