编写函数fun1(a,b),求任意两个正整数的最小公倍数。(函数头和主程序部分已给出， 需要完成函数体功能代码编写)

最小公倍数（LCM）是指能够被两个正整数同时整除的最小的正整数。求两个正整数a和b的最小公倍数，可以通过使用最大公约数（GCD）来实现。

最大公约数可以通过欧几里得算法进行求解，其基本思路是通过连续除法的方式，将两个数不断地进行取余操作，直到余数为0为止，此时除数就是最大公约数。

我们可以利用最大公约数来求最小公倍数，通过公式LCM(a,b) = (a * b) / GCD(a, b)，可以得到最小公倍数。

下面是使用Python编写的函数fun1(a,b)的功能代码：

def fun1(a, b):
    # 求最大公约数
    def gcd(x, y):
        while(y):
            x, y = y, x % y
        return x
    
    # 求最小公倍数
    lcm = (a * b) / gcd(a, b)
    return int(lcm)

a = int(input("请输入第一个正整数a："))
b = int(input("请输入第二个正整数b："))
result = fun1(a, b)
print(f"最小公倍数为：{result}")

在该代码中，我们首先定义了一个内部函数gcd(x, y)来计算最大公约数，然后通过公式`(a * b) / gcd(a, b)`来求得最小公倍数。最后，我们通过输入两个正整数a和b，并调用fun1函数来计算最小公倍数，并将结果输出。