python中求最小公倍数的函数