{"schema":"vela.problem-packet.v0.1","problem":968,"statement":"Let $u_n=p_n/n$, where $p_n$ is the $n$th prime. Does the set of $n$ such that $u_n&#60;u_{n+1}$ have positive density?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A387591","name":"Primes prime(k) such that (k+1)*prime(k) < k*prime(k+1).","terms":"3,5,7,13,19,23,31,37,43,47,53,61,67,73,79,83,89,97,103,109,113,131,139,151,157,167,173,181,199,211,233,241,251,257,263,2","url":"https://oeis.org/A387591"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}