function main(input) {
  input=input.trim();
  const n = parseInt(input.split("")[0], 10);
  const a = parseInt(input.split("")[1], 10);
  const b = parseInt(input.split("")[2], 10);

if(n*a>b){
  console.log(b);
}else{
  console.log(a*n);
}
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));

