what is the smallest positive number that is evenly divisible by all of the numbers from 1 to 20? in python

main.py
def smallest_multiple(n):
    prime_factors = {}  # dictionary to store prime factors and their highest powers
    for i in range(2, n+1):
        num = i
        for j in range(2, i+1):
            count = 0
            while num % j == 0:
                count += 1
                num //= j
            if count > 0:
                prime_factors[j] = max(count, prime_factors.get(j, 0))
    result = 1
    for prime, power in prime_factors.items():
        result *= prime ** power
    return result
504 chars
16 lines

main.py
>>> smallest_multiple(10)
2520
>>> smallest_multiple(20)
232792560
67 chars
5 lines