用python编写程序实现：求两个正整数的最小公倍数。

可以使用以下的代码来实现：

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

def lcm(a, b):
    return a * b // gcd(a, b)

a = int(input("请输入第一个正整数："))
b = int(input("请输入第二个正整数："))

print("它们的最小公倍数是：", lcm(a, b))

首先定义了一个 `gcd` 函数，用于求两个正整数的最大公约数。然后定义了一个 `lcm` 函数，用于求两个正整数的最小公倍数，其中使用了 `//` 运算符来实现整数除法。

最后，从用户输入获取两个正整数，并输出它们的最小公倍数。