#include <bits/stdc++.h>
using namespace std;
int i, j, k, n, m, ch, ff;
double p;
void R(int &x) {
  ff = x = 0;
  ch = getchar();
  while (ch < '0' || '9' < ch) {
    if (ch == '-') ff = 1;
    ch = getchar();
  }
  while ('0' <= ch && ch <= '9') x = x * 10 + ch - '0', ch = getchar();
  if (ff) x = -x;
}
void W(int x) {
  if (x < 0) putchar('-'), x = -x;
  if (x >= 10) W(x / 10);
  putchar(x % 10 + '0');
}
int main() {
  R(n);
  R(m);
  p = 1e9;
  for (i = 1; i <= n; i++) {
    int a, b;
    R(a);
    R(b);
    double t = 1.0 * a / (1.0 * b);
    if (t < p) p = t;
  }
  printf("%.8lf\n", p * m);
}
