//#pragma GCC optimize("Ofast","inline","-ffast-math")
//#pragma GCC target("avx,sse2,sse3,sse4,mmx")
//#pragma GCC optimize(2)
#include<bits/stdc++.h>
#define ll long long
#define inf 1e8
#define rg register
using namespace std;
const int N=1e5+10;
inline ll read(){
	register ll s=0,f=0;
	register char ch=getchar();
	while(!isdigit(ch)) f|=(ch=='-'),ch=getchar();
	while(isdigit(ch)) s=(s<<1)+(s<<3)+(ch^48),ch=getchar();
	return f?-s:s;
}
inline void write(ll x){
    if(x<0) putchar('-'),x=-x;
    if(x>9) write(x/10);
    putchar(x%10+'0');
}
int n,k; pair<int,int> a[N];
double b[N];
int f[N];
inline bool check(double x){
	// for(int i=1;i<=n;i++)a[i].x=a[i].p+x*a[i].v;
	for(int i=1;i<=n;++i)b[i]=a[i].first+x*a[i].second;
    int cnt=0;
    for(int i=1;i<=n;++i){f[i]=1; for(int j=1;j<i;++j)if(b[j]<=b[i]-0.001)f[i]=max(f[i],f[j]+1);}
    for(int i=1;i<=n;++i)cnt=max(cnt,f[i]);

	if(n-cnt<=k)return 1;
	return 0;
}
int main() {
//	freopen("in.txt","r",stdin);
//	freopen("out.txt","w",stdout);
	n=read(),k=read();
	for(int i=1;i<=n;i++)a[i]={read(),read()};
	sort(a+1,a+1+n);

	double l=0,r=2e9,ans;
	while(r-l>=0.00001){
		double mid=(l+r)/2;
		if(check(mid))ans=l=mid;
		else r=mid;
	}
	if(ans>=2e9-0.0001)printf("Forever");
	else printf("%.4lf",l);
	return 0;
}