d = read_line.to_i64
a, b = read_line.split.map(&.to_i64)
puts d * {a, b}.min