#include <bits/stdc++.h>
using namespace std;
int d[5001], a[2001];
int main() {
  int i, j, n;
  scanf("%d", &n);
  for (i = 0; i < n; i++) scanf("%d", &a[i]);
  for (i = 0; i < n; i++)
    for (j = i + 1; j < n; j++) d[abs(a[i] - a[j])]++;
  for (i = 4999; i >= 0; i--) d[i] += d[i + 1];
  long long int ans = 0;
  for (i = 1; i < 5000; i++)
    for (j = 1; i + j < 5000; j++) {
      ans += (d[j] - d[j + 1]) * (d[i] - d[i + 1]) * d[i + j + 1];
    }
  long long int x = d[0];
  x *= d[0];
  x *= d[0];
  cout << (double)ans / (x) << endl;
  return 0;
}
