验证哥德巴赫猜想2000以内的不小于4的正偶数

验证哥德巴赫猜想

2000以内的不小于4的正偶数都能够分解为两个素数之和，验证哥德巴赫猜想对2000以内的正偶数成立。根据问题描述，为了验证哥德巴赫猜想对2000以内的正偶数都是成立的，要将正偶数整数分解为两部分，然后判断分解出的两个正整数是否均为素数。若是，则满足题意，否则应重新进行分解和判断。

输入：每次输入一个2000以内的不小于4的正偶数n。

输出：输出n能被分解成的素数a和b，如果不止一组解，则输出其中a最小的那组解即可。

请你补全代码。

import math

# 判断是否为素数

def fun(n):

if n == 2:

return 1

if n % 2 == 0:

return 0

i = 3

while i <= math.sqrt(n):

if ① :

return 0

i = 2

return 1 # n是除2以外的素数返回1

# 验证哥德巴赫猜想

def guess(n):

k = 0

i = 2

while i <= (n // 2):

if fun(i):

if fun(n - i):

print("%d %d" % ( ② ))

③

if i != 2:

i = 1

if k == 1:

④ #结果得到验证，跳出循环

i = 1

while True:

n = input("请输入2000以内>=4的正偶数：(输入'stop'结束运行)")

if n=="stop":

break

else:

⑤ # 调用方法验证哥德巴赫猜想