■

以前この日記でも書いたけど、円周率の任意の桁をいきなり求める式というのはある一方で、何番目の素数というふうに序数を指定していきなり素数を求めることはできるのだろうか。この辺を見た感じでは、今のところできなさそうな雰囲気。

追伸: Wolfram Researchでカンニングしたところによると、ごく限られた範囲ならそういう式があるらしい。