REMARKS
1. This has to be one of my favorite proofs. It manages to establish an interesting theorem with a short and elegant argument.
2. Terence Tao makes the following illuminating comment about this proof in his book Analysis I: "a bijection between X and 2^X would come dangerously close to the concept of a set X containing itself".
0:00 - 0:19 Intro
0:20 - 1:49 Injection
1:50 - 5:13 No bijection
