Največja znana praštevila - nekoč in danes