#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int N=100010;
int now;
ll dp[N],d[N];
struct ss{
	int a,h;
	bool operator<(ss b){
		return a<b.a;
	}
}p[N];
struct qu{
	int now,las;
	vector<pair<ll,ll> >p;
	inline ll calc(int x,ll y){
		return p[x].first*y+p[x].second;
	}
	inline ll query(ll x){
		while(las+1<p.size()&&calc(las,x)>=calc(las+1,x)){
			las++;
		}
		return las<p.size()?calc(las,x):1e18;
	}
	inline bool pd(int now,ll x,ll y){
		if(p[now-1].first==x){
			if(y<=p[now-1].second){
				return 1;
			}
			return 0;
		}
		return now>=2&&calc(now-1,::now)>=x*::now+y;
	}
	inline void ins(ll x,ll y){
		while(now>=1&&pd(now,x,y)){
			now--;
			p.pop_back();
		}
		p.push_back({x,y});
		now++;
	}
}s[N<<2];
inline void update(int x,int y,pair<ll,ll>z,int l,int r,int rt){
	int mid=(l+r)>>1;
	if(x<=l&&y>=r){
		s[rt].ins(z.first,z.second);
		return;
	}
	if(x<=mid){
		update(x,y,z,l,mid,rt<<1);
	}
	if(y>=mid+1){
		update(x,y,z,mid+1,r,rt<<1|1);
	}
}
inline void upd(int x){
	for(int i=0,cnt=0;i<=1e5;i+=x,cnt++){
		if(max(i,1)>min((int)1e5,i+x-1)){
			continue;
		}
		update(max(i,1),min((int)1e5,i+x-1),{cnt,dp[x]},1,1e5,1);
	}
}
inline ll query(int x,int l,int r,int rt){
	int mid=(l+r)>>1;
	if(l==r){
		return s[rt].query(now);
	}
	return min(s[rt].query(now),x<=mid?query(x,l,mid,rt<<1):query(x,mid+1,r,rt<<1|1));
}
int main(){
	int n,a;
	scanf("%d%d",&n,&a);
	for(int i=1;i<=n;i++){
		scanf("%d%d",&p[i].a,&p[i].h);
	}
	sort(p+1,p+n+1);
	for(int i=1;i<=n;i++){
		p[i].h--;
		d[i]=1ll*(p[i].h/max(a,p[n].a))*p[i].a;
	}
	if(a>=p[n].a){
		goto lass;
	}
	for(int i=1;i<=1e5;i++){
		dp[i]=1e18;
	}
	dp[a]=0;
	upd(a);
	for(int i=1;i<=n;i++){
		if(p[i].a<=a){
			continue;
		}
		now=p[i].a;
		dp[p[i].a]=min(dp[p[i].a],query(p[i].h,1,1e5,1)-d[i]);
		if(p[i].a!=p[i+1].a){
			upd(p[i].a);
		}
	}
	lass:;
	for(int i=1;i<=n;i++){
		dp[p[n].a]+=d[i];
	}
	printf("%lld",dp[p[n].a]);
}