Pues formula_3 es el coeficiente de correlación muestral de Pearson.