second-autocorrelation-inequality by justinkang221 — theskillcity