((input) => {
  const data = input.split('\n')[0].split(' ');
  const N = data[0];
  const A = data[1];
  const B = data[2];
  console.log(Math.min(N * A, B));
})(
  require("fs").readFileSync("/dev/stdin", "utf8")
);
