{"schema":"vela.problem-packet.v0.1","problem":164,"statement":"A set $A\\subset \\mathbb{N}$ is primitive if no member of $A$ divides another. Is the sum\\[\\sum_{n\\in A}\\frac{1}{n\\log n}\\]maximised over all primitive sets when $A$ is the set of primes?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A137245","name":"Decimal expansion of Sum_{p prime} 1/(p * log p).","terms":"1,6,3,6,6,1,6,3,2,3,3,5,1,2,6,0,8,6,8,5,6,9,6,5,8,0,0,3,9,2,1,8,6,3,6,7,1,1,8,1,5,9,7,0,7,6,1,3,1,2,9,3,0,5,8,6,0,0,3,0,","url":"https://oeis.org/A137245"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}