#include<bits/stdc++.h>
#define ll long long
using namespace std;
__int128 n,a,b;
__int128 read(){
	int ret=0;
	while(1){
		char i=getchar();
		if(!isdigit(i)){
			return ret;
		}
		ret=ret*10+i-'0';
	}
}
void print(int r){
	if(r==0) return;
	print(r/10);
	putchar(r%10+'0');
}
int main(){
	n=read(); a=read(); b=read();
	print(min(n*a,b));
	return 0;
}