import sys
input = sys.stdin.readline
A, B, C = map(int, input().split())
ans = min(B, A*C)
print(ans)