function Main(input) { // input="2312 312 312"
    tmp = input.split(" "); // [ "2312","312" ,"312"  ]
    //文字列から10進数に変換するときはparseIntを使います
    var A = parseInt(tmp[0]); // tmp[0] == "2312" parseInt(..) == 2312
    var B = parseInt(tmp[1]);
    var N = parseInt(tmp[2]);
    var NA = 0;
    NA = N * A;
    if (NA <= B) {
        console.log(NA)
    } else if (NA >= B) {
        console.log(B)
    };
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));