要求编写一个主函数，利用while循环，求出并显示满足不等式的最小n值。