function Main(input) {
  // input[0] => １行目, input[1] => 2行目
  input = input.split(" ");

  const n = parseInt(input[0], 10);
  const a = parseInt(input[1], 10);
  const b = parseInt(input[2], 10);

  const train = n * a;
  const taxi = b;

  train > taxi ? console.log("%d", taxi) : console.log("%d", train)
}

// *型変換
// 文字列から10進数
// let a = parseInt(input[0], 10)

// *出力
// console.log('%d', number);
// console.log('%s', string);


// 編集しない
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
