#include<stdio.h>

 FILE *f=fopen("secv3.in","r");
 FILE *g=fopen("secv3.out","w");
 int a,b,x[3000],y[3000],n,i,j,l;
 float c[3000],max,s,s1;

int main()
{
 fscanf(f,"%d",&n);
 fscanf(f,"%d",&a);
 fscanf(f,"%d",&b);
 max=0;
 for(i=1;i<=n;i++)
    fscanf(f,"%d",&x[i]);
  for(i=1;i<=n;i++)
    fscanf(f,"%d",&y[i]);
 for(i=1;i<=n-b;i++)
 {
  for(j=a;j<=b;j++)
  {s=0;
  s1=0;
   for(l=i;l<=i+j-1;l++)
   { s=s+x[l];
     s1=s1+y[l];
   }
   if(s/s1>max)
    max=s/s1;
  }

 }
 fprintf(g,"%3.2f",max);
 fcloseall();
 return 0;
}