Their infinitude has been proved several times, by Subbarao, Erdős, and Hardy & Subbarao.
The limitless quality of their nature has been demonstrated repeatedly, by renowned mathematicians such as Subbarao, Erdős, and Hardy & Subbarao.