#include <bits/stdc++.h>

typedef long long ll;
using namespace std;

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	std::cout.setf(std::ios_base::fixed,std::ios_base::floatfield);

	int n,t; cin >> n >> t;
	double tan[1005];

	int x,h;
	for (int i = 0;i < n;i++){
		cin >> x >> h;
		tan[i] = (double)h/x;
	}

	sort(tan,tan+n);

	cout << tan[n-1]*t << endl;

	return 0;

}

