function main(input) {
  const args = input.split(' ');
  const n = parseInt(args[0], 10);
  const a = parseInt(args[1], 10);
  const b = parseInt(args[2], 10);
  console.log(Math.min(n*a,b));
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));