#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_HCNT_MAX		77777									// 最大参加人数

// 内部変数
static FILE *szpFpI;											// 入力
static int siHCnt;												// 参加人数
static int siSCnt;												// 星数
static int si1Point[D_HCNT_MAX];								// 得点[参加者]
static int siWPoint;											// Writer得点

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 得点 - 取得
int
fGetPoint(
	int piOrd					// <I> 順位 1～
)
{
	int liSum = 50 * siSCnt;
	liSum += (int)((double)liSum / (0.8 + 0.2 * (double)piOrd) + 0.0000001);

	return liSum;
}

// 順位 - 取得
int
fGetOrd(
	int piPoint					// <I> 得点
)
{
	int liPoint = piPoint - 50 * siSCnt;
	int liOrd = (int)((50.0 * (double)siSCnt / (double)liPoint - 0.8) * 5.0);

	while (1) {
		liPoint = fGetPoint(liOrd);
		if (liPoint <= piPoint) {
			break;
		}
		liOrd++;
	}

	return liOrd;
}

// 実行メイン
double
fMain(
)
{
	int i;
	char lc1Buf[1024];

	// 参加人数・星数・WriterID - 取得
	int liWID;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d%d", &siHCnt, &siSCnt, &liWID);

	// 得点 - 取得
	for (i = 0; i < siHCnt; i++) {
		fscanf(szpFpI, "%d", &si1Point[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// Writer得点
	siWPoint = si1Point[liWID] + 100 * siSCnt;

	// 最大・最小得点
	int liMax = fGetPoint(1);
	int liMin = fGetPoint(siHCnt - 1);

	// 確率
	double ldRate = 1.0;
	for (i = 0; i < siHCnt; i++) {
		if (i == liWID) {
			continue;
		}

		// 最大得点
		int liPoint = si1Point[i] + liMax;
		if (siWPoint >= liPoint) {
			continue;
		}

		// 最小得点
		liPoint = si1Point[i] + liMin;
		if (siWPoint < liPoint) {
			ldRate = 0.0;
			break;
		}

		// 順位 - 取得
		int liOrd = fGetOrd(siWPoint - si1Point[i]);

		// 確率 - 乗算
		ldRate *= (double)(siHCnt - liOrd) / (double)(siHCnt - 1);
	}

	return ldRate;
}

// １回実行
int
fOne(
)
{
	double ldRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	ldRet = fMain();

	// 出力
	sprintf(lc1Buf, "%.10lf\n", ldRet);
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}