Retiree Proves Gaussian Correlation Inequality, Posts It Online as a Word Doc | Hacker News Reader