#include <bits/stdc++.h>
using namespace std;
int n, a[2000], d[5001], s[5001];
long long cnt = 0;
int main() {
  scanf("%d", &n);
  for (int i = 0; i < n; i++) scanf("%d", a + i);
  for (int i = 0; i < n; i++)
    for (int j = i + 1; j < n; j++) d[abs(a[i] - a[j])]++;
  s[5000] = d[5000];
  for (int i = 5000; i > 0; i--) s[i - 1] = s[i] + d[i - 1];
  for (int i = 0; i < 5001; i++)
    for (int j = 0; i + j < 5000; j++) {
      cnt += d[i] * d[j] * s[i + j + 1];
    }
  double ans = 8.0 * cnt;
  for (int i = 0; i < 3; i++) ans /= n;
  for (int i = 0; i < 3; i++) ans /= n - 1;
  printf("%.12lf\n", ans);
  return 0;
}
