在main函数中编写程序，利用下面公式求s值(求至第n项之和。s保留6位小数)。

根据您提供的信息，我可以给您提供如下的 Python 代码实现：

def get_s(n):
    s = 0
    for i in range(1, n+1):
        s += 1/(i**2)
    return s

if __name__ == '__main__':
    n = int(input("请输入n的值："))
    s = get_s(n)
    print("s的值为：%.6f" % s)

在这段代码中，我们定义了一个 `get_s()` 函数，用于计算公式的第n项之和。然后在 `main()` 函数中，我们通过用户输入获取n的值，并调用 `get_s()` 函数计算s的值。最后，我们使用 `print()` 函数输出s的值，并使用 `%.6f` 格式化字符串，保留6位小数。

希望这个代码能够帮助到您！