帮我用Python实现用for循环找出输入的两个正整数的最小公倍数

在Python中，我们可以使用欧几里得算法（也称为辗转相除法）来找出两个正整数的最大公约数（GCD），然后利用公式 `lcm(a, b) = |a * b| / gcd(a, b)` 来计算它们的最小公倍数（LCM）。以下是使用for循环实现这个过程的一个简单示例：

def gcd(a, b):
    while b != 0:
        a, b = b, a % b
    return a

def lcm_with_for_loop(num1, num2):
    # 检查输入是否为正整数
    if not isinstance(num1, int) or not isinstance(num2, int) or num1 <= 0 or num2 <= 0:
        return "输入必须是正整数"
    
    # 使用for循环计算最大公约数
    for i in range(1, min(num1, num2) + 1):  # 遍历从1到较小数的范围
        if num1 % i == 0 and num2 % i == 0:  # 如果i同时是两数的约数，则找到了最大公约数
            gcd_value = i
            break
    
    # 计算并返回最小公倍数
    lcm = abs(num1 * num2) // gcd_value
    return lcm

# 示例用法
num1 = int(input("请输入第一个正整数："))
num2 = int(input("请输入第二个正整数："))
result = lcm_with_for_loop(num1, num2)
print(f"两个数 {num1} 和 {num2} 的最小公倍数是：{result}")