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.
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..)