BernhardRiemann 25 Jun 2026 in Public Relative Frequency "Frequency" instead of "Relative Frequency"?