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

var lines = [];
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', (line) => {
  lines.push(line);
});
reader.on('close', () => {
    lines = lines[0].split(' ');
    const N = lines[0] - 0;
    const A = lines[1] - 0;
    const B = lines[2] - 0;
    const minAmount = Math.min(N*A, B);
    console.log(minAmount);
});