var fs = require('fs');

var inputs = fs.readFileSync('/dev/stdin', 'utf8').split(' ');
var ninput = Number(inputs[0]);
var ainput = Number(inputs[1]);
var binput = Number(inputs[2]);

var train = ainput * ninput;
console.log(train < binput ? train : binput);