#include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i,n) for (int i = 0; i < int(n);i++) int main(){ int a,b,c; cin >> a >> b >> c; cout << min(a*c,b) << endl; return 0; }