{"schema":"vela.problem-packet.v0.1","problem":977,"statement":"If $P(m)$ is the greatest prime divisor of $m$, then is it true that\\[\\frac{P(2^n-1)}{n}\\to \\infty\\]as $n\\to \\infty$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A002583","name":"Largest prime factor of n! + 1.","terms":"2,2,3,7,5,11,103,71,661,269,329891,39916801,2834329,75024347,3790360487,46271341,1059511,1000357,123610951,1713311273363","url":"https://oeis.org/A002583"},{"id":"A005420","name":"Largest prime factor of 2^n - 1.","terms":"3,7,5,31,7,127,17,73,31,89,13,8191,127,151,257,131071,73,524287,41,337,683,178481,241,1801,8191,262657,127,2089,331,2147","url":"https://oeis.org/A005420"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}