const fs = require('fs');
const stdin = fs.readFileSync('/dev/stdin', 'utf-8');
const lines = stdin.split("\n");

const line = lines[0].split(" ");
const n = Number(line[0]);
const a = Number(line[1]);
const b = Number(line[2]);

console.log(Math.min(n*a, b));