すみません 間違いです↑  正しくは
『{(n+1)/2}^n=n! を満たす自然数nは存在しないことを証明せよ』
です。