{"schema":"vela.problem-packet.v0.1","problem":825,"statement":"Is there an absolute constant $C&#62;0$ such that every integer $n$ with $\\sigma(n)&#62;Cn$ is the distinct sum of proper divisors of $n$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A006037","name":"Weird numbers: abundant (A005101) but not pseudoperfect (A005835).","terms":"70,836,4030,5830,7192,7912,9272,10430,10570,10792,10990,11410,11690,12110,12530,12670,13370,13510,13790,13930,14770,1561","url":"https://oeis.org/A006037"},{"id":"A330244","name":"Weird numbers m (A006037) such that sigma(m)/m > sigma(k)/k for all weird numbers k < m, where sigma(m) is the sum of divisors of m (A000203).","terms":"70,10430,1554070,5681270,6365870","url":"https://oeis.org/A330244"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}