The value for π(1024) was originally computed assuming the Riemann hypothesis; it has since been verified unconditionally.
π(1024) の値はもともとリーマン予想を仮定して計算されたが、その後無条件で証明された。