Inverti l'ingegnerizzazione del codice seguente e spiega la logica dietro di esso.
def find_smallest_multiple(n):
    x = n
    while True:
        if isDivisible(x, n):
            return x
        x += n

Traduzione in italiano:

def trovare_minimo_multiplo(n):
    x = n
    while True:
        if isDivisible(x, n):
            return x
        x += n
Il codice trova il numero positivo più piccolo che è divisibile per tutti i numeri da 1 a n. La funzione assegna prima il valore di n a x, che è il multiplo più piccolo possibile di n. Successivamente, viene utilizzato un ciclo while per incrementare continuamente x di n fino a quando non viene soddisfatta la condizione isDivisible(x, n). Ciò significa che x è divisibile per tutti i numeri da 1 a n, ed è quindi il multiplo più piccolo di n.