process.stdin.resume();
process.stdin.setEncoding('utf8');

var input_lines = [];
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on('line', (line) => {
  input_lines = line.split(" ")
});

reader.on('close', () => {
    var new_input_lines = [];
    for(var i=0;i<input_lines.length;i++){
        new_input_lines[i] = parseInt(input_lines[i]);
    }
    var N = new_input_lines[0]
    var A = new_input_lines[1]
    var B = new_input_lines[2]
    
    if (A * N > B) {
      console.log(B)
    }else{
      console.log(N * A)
    }
});