function main(input) {
  var list = input[0].split(" ").map(v=>v-0);
  console.log(Math.min(list[0]*list[1], list[2]));
    
}
main(require('fs').readFileSync('/dev/stdin', 'utf8').trim().split("\n"))