编写函数，求两个正整数的最小公倍数。

可以使用两个正整数的乘积除以它们的最大公约数得到它们的最小公倍数。

以下是 Python 代码实现：

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

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

其中，gcd 函数是求最大公约数的函数，使用辗转相除法。lcm 函数则利用最大公约数求出最小公倍数。