By Doron Zeilberger
Written: Oct. 4, 2025
In fond memory of my beloved cousin Matti Weiss (1945-2025) who ignited my love of mathematics
This note is dedicated to the memory of my first-cousin, Matti Weiss (1945-2025), who (when I was 12 and he was 16) infected me with the love of mathematics.
Added Oct. 10, 2025: Isaac Hodes told me about this interesting page, by Ed Pegg, Jr. and Chris Lomont. so Theorem 1 was already known to them, written in 2004. So I was scooped by them regarding the "one in five real numbers is evil" fact. However Theorems 2 and Theorem3 in my paper are hopefully new.
The input file gives the output file.
As you can see at the bottom, their frequency is .20105 (not far from those for all real numbers, that is 0.2)
The input file gives the output file.
As you can see at the bottom, their frequency .1966666667 (not far from those for all real numbers, that is 0.2)
The input file gives the output file.
As you can see at the bottom, their frequency 0.66 (not far from those for all real numbers, that is 2/3)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.1536363636 (not far from those for all real numbers, that is 2/13=0.1538461538)
The input file gives the output file.
As you can see at the bottom, their frequency is .2045 (not far from those for all real numbers, that is 0.2)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.6691 (not far from those for all real numbers, that is 2/3)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.1546000000 (not far from those for all real numbers, that is 2/13= 0.1538461538)
The input file gives the output file.
As you can see at the bottom, their frequency is .1962120453 (not far from those for all real numbers, that is 0.2)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.6657981762 (not far from those for all real numbers, that is 2/3)
The input file gives the output file.
As you can see at the bottom, their frequency is .1540234492 (not far from those for all real numbers, that is 2/13= 0.1538461538...)
The input file gives the output file.
> As you can see at the bottom, their frequency is 0.1973 (not far from those for all real numbers, that is 0.2)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.6793 (not far from those for all real numbers, that is 2/3)
The input file gives the output file.
As you can see at the bottom, their frequency is 0.1544 (not far from those for all real numbers, that is 2/13=0.1538..)