紀元前300年、古代ギリシャのユークリッドは、素数が無限個あることを証明してみせました。無限個ある自然数の中に無限個ある素数、その分布をテーマにするのがリーマン予想です。ここから見えてくる風景は、リーマン予想のターゲットである素数の難しさです。