OptionVotes
YES
NO
3527
720
3038
329
2878
785
457
22
OptionProbability
Never
Other
2027
2026
2025
2024
64
11
10
9
5
1
221
175
154
86
164
Euclid's Proof
Saidak's proof by construction
Erdős's Proof
Furstenburg's Topological Proof
Euler's Proof
Proof via inclusion–exclusion
Proof using de Polignac's formula
The incompressibility method / Information-theoretic
42
40
4
2