#include<bits/stdc++.h>
using namespace std;
const int N=2e5+5;
#define ll long long

int n;
ll ans=0,INF=0x3f3f3f3f3f3f3f3f; 
struct node{
	int a,h;
}m[N];
int cnt[N],nex[N],pre[N];
int d[N],tot=0,tmp=0;
int p=0;
const int maxn=(1<<20);char *p1,*p2,buf[maxn];
#define gc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,maxn,stdin),p1==p2)?EOF:*p1++)

inline int read(){
	int k=0;char c;
	while(!isdigit(c=gc()));
    while(isdigit(c))k=k*10+(c^48),c=gc();
    return k;
}
inline bool cmp(node x,node y){
	return x.a<y.a;
}
ll sum[N],f[N],g[N];
inline ll calc(int x,int id){
	ll res=m[id].h/x;
	if(res*x<m[id].h) res++;
	res--;
	res*=m[id].a;
	return res;
}
inline void del(int x){
	nex[pre[x]]=nex[x];
	pre[nex[x]]=pre[x];
}
inline void solve(){
	ll anss=calc(m[p].a,n)+sum[n-1];
	for(int i=p+1;i<=n;i++){
		for(int j=p;j<min(i,100);j++){
			f[i]=min(f[i],f[j]+calc(m[j].a,i)+sum[i-1]-sum[j]);
		}
		for(int j=max(p,i-100);j<i;j++){
			f[i]=min(f[i],f[j]+calc(m[j].a,i)+sum[i-1]-sum[j]);
		}
	}
	cout<<f[n]+ans;
	exit(0);
}
int main(){
//	freopen("xinyue6.in","r",stdin);
//	freopen("xinyue.out","w",stdout);
	ios::sync_with_stdio(0);
	cin.tie(0),cout.tie(0);
//	cin>>n>>m[0].a;
	n=read(),m[0].a=read();
	for(int i=1;i<=n;i++) m[i].a=read(),m[i].h=read();//cin>>m[i].a>>m[i].h;
	sort(m+1,m+n+1,cmp);
	if(m[0].a>=m[n].a){
		for(int i=1;i<=n;i++){
			ans+=calc(m[0].a,i);
		}
		cout<<ans<<'\n';
		return 0;
	}
	for(int i=1;i<=n;i++){
		sum[i]=sum[i-1]+calc(m[n].a,i);          
	}
	memset(f,0x3f,sizeof(f));
	while(m[0].a>=m[p+1].a) p++,ans+=calc(m[n].a,p);
	f[p]=0;m[p].a=m[0].a;
	if(n<=1000){
		for(int i=p+1;i<=n;i++){
			for(int j=p;j<i;j++){
				f[i]=min(f[i],f[j]+calc(m[j].a,i)+sum[i-1]-sum[j]);
			}
		}
		cout<<f[n]+ans;
		return 0;
	}
	for(int i=p;i<=n;i++) nex[i]=i+1,pre[i]=i-1;
	nex[n+2]=p,pre[n+1]=n;g[n+1]=g[n+2]=INF;
	for(int i=p+1;i<=n;i++){
		if(tmp>=2000000){
			solve();
		}
		for(int j=nex[n+2];j<i;j=nex[j]){
			tmp++;
			g[j]=f[j]+calc(m[j].a,i)+sum[i-1]-sum[j];
			f[i]=min(f[i],g[j]);
		}
		for(int j=nex[n+2];j<i;j=nex[j]){
			if(j==nex[n+2]||nex[j]>=i) continue;
			if(g[j]>=g[pre[j]]&&g[j]>=g[nex[j]]){
				del(j);
			}
		}
	}
	cout<<f[n]+ans;
	return 0;
}