#include <bits/stdc++.h>
typedef long long i64;
using std::cout;
using std::endl;
using std::cin;

int main() {
	double n, t; cin >> n >> t;
	double ma = 0.0;
	for(int i = 0; i < n; i++) {
		double a, b; cin >> a >> b;
		
		ma = std::max(ma, b / a);
	}
	
	cout << std::fixed << std::setprecision(10) << ma * t << endl;
	return 0;
}

