#include <bits/stdc++.h>
using namespace std;
int n, a[2010];
long long c[5010], s[5010];
int main() {
  cout << setprecision(9) << fixed;
  ios::sync_with_stdio(false);
  while (scanf("%d", &n) > 0) {
    for (int i = (0); i < (n); i++) scanf("%d", &a[i]);
    memset(c, 0, sizeof(c));
    for (int i = (0); i < (n); i++)
      for (int j = (i + 1); j < (n); j++)
        c[max(a[i], a[j]) - min(a[i], a[j])]++;
    s[0] = 0;
    for (int i = (1); i < (5002); i++) s[i] = s[i - 1] + c[i - 1];
    long long t = 0;
    for (int d3 = (0); d3 < (5001); d3++)
      for (int d2 = (0); d2 < (d3 - 1); d2++) t += c[d3] * c[d2] * s[d3 - d2];
    long long n2 = n * (n - 1) / 2;
    long long n23 = n2 * n2 * n2;
    cout << double(t) / n23 << endl;
  }
  return 0;
}
