#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
#include <atcoder/all>


using namespace std;
using namespace atcoder;
#define rep(i,m,n,k) for (int i = (int)(m); i < (int)(n); i += (int)(k))
#define rrep(i,m,n,k) for (int i = (int)(m); i > (int)(n); i += (int)(k))
#define ll long long
#define list(T,A,N) vector<T> A(N);for(int i=0;i<(int)(N);i++){cin >> A[i];}
template<typename T> bool chmin(T& a, T b){if(a > b){a = b; return true;} return false;}
template<typename T> bool chmax(T& a, T b){if(a < b){a = b; return true;} return false;}
// #define int long long


// void solve(){
//     long double D,A;
//     cin >> D >> A;
//     list(long double,X,D);
//     rep(i,0,D,1) cout << (ll)round(X[i]/A) << ' ';
//     cout << "\n";
//     return;
// }

int main(){
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    ll A,B,C;
    cin >> A >> B >> C;
    cout << min (B,C*A) << endl;
    return 0;
}