昨日、$PEPE が 0,000013 に達すると書きました。念のため言っておきますが、実際にそうなったのです!