编写函数fun,函数功能是求出小于或等于lim的所有素数