#include<bits/stdc++.h>
using namespace std;

int N;
double x;
vector<double> a;

signed main()
{
    cin >> N >> x;
    for(int i = 0; i < N; i++){
        double dx, dy;
        cin >> dx >> dy;
        a.push_back(dy / dx);
    }
    sort(a.begin(), a.end(), greater<double>() );
    printf("%.8lf\n", x * a[0]);

    return 0;
}

