#include <bits/stdc++.h>
int main() {
  int m, n, i;
  double min = 100, yean_per_kilo;
  scanf("%d %d", &n, &m);
  int a[n], b[n];
  for (i = 0; i < n; i++) {
    scanf("%d %d", &a[i], &b[i]);
    yean_per_kilo = a[i] / (b[i] * 1.0);
    if (yean_per_kilo < min) {
      min = yean_per_kilo;
    }
  }
  printf("%0.8lf\n", min * m);
}
