#include <bits/stdc++.h>
using namespace std;
const int INF = (-1u) / 2;
const long long int INF2 = (-1ull) / 2;
long long int a, b, i, d[8001010], j, k, n, m, timer = 0, l, r, x, y,
                                               d2[8001010];
long long int c[1011000], cnt = 0, fl = 0, a2, a3 = -1000000, ans = 0, res = 0;
int main() {
  ios_base::sync_with_stdio(0);
  cin >> n;
  for (i = 0; i < n; i++) {
    cin >> c[i];
  }
  sort(c, c + n);
  for (i = 0; i < n; i++) {
    for (j = i + 1; j < n; j++) {
      d[c[j] - c[i]]++;
    }
  }
  for (i = 1; i <= 10000; i++) {
    d2[i] = d[i];
    d[i] = 0;
    for (j = 1; j < i; j++) {
      if (d2[j] && d2[i - j]) d[i] += d2[j] * d2[i - j];
    }
  }
  ans = 0;
  for (i = 1; i <= 10000; i++) {
    if (d2[i]) {
      res += ans;
    }
    ans += d[i];
  }
  a = ((n * (n - 1)) / 2ll);
  printf("%.10f", res / (1. * a * a * a));
  return 0;
}
