p,qを相異なる奇素数し,
f(p,q)=[ pq/(p+q) ]
を考える。([ ]:ガウス記号)
p,qをどのように選んでも値f(p,q)はpとqの間に無いことを示せ。