#include<iostream>
#include<stdio.h>
FILE *f=fopen("dezastru.in","r"),*g=fopen("dezastru.out","w");
float a[30];double aux=1,rez;
int ut[30],st[30],n,t,nr;
void back(int k)
{
	double aux1;
    for(int pval=1;pval<=n;pval++)
    {
        st[k]=pval;
        if(!ut[pval]&&k<=n)
        {
			aux1=aux;
            ut[pval]=1;
			if(k<=t)
				aux*=a[pval];
            if(k==t)
            {
				nr++;
                rez+=aux;
                ut[pval]=0;
            }
            else
                back(k+1),ut[pval]=0;
			aux=aux1;
        }
    }
}
int main()
{
    fscanf(f,"%d%d",&n,&t);
    for(int i=1;i<=n;i++)
        fscanf(f,"%f",&a[i]);
    back(1);
    fprintf(g,"%6lf",rez/nr);
    return 0;
}