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

var g_input = '';
process.stdin.on('data', function(chunk) {
    g_input += chunk;
});

process.stdin.on('end', function() {
    Main(g_input.split(/\r?\n/));
});

function Main(input) {

    var params = input[0].split(' ');
    var n = parseInt(params[0], 10);
    var a = parseInt(params[1], 10);
    var b = parseInt(params[2], 10);

    if (a * n < b) {
        console.log(a * n);
    }
    else {
        console.log(b);
    }

    return 0;
}
