Item:Q8758: Difference between revisions
Created claim: subclass of (P1): natural number (Q721) |
Created claim: defining formula (P333): \sigma(n)-2n=s(n)-n<0 |
||
Property / defining formula | |||
\sigma(n)-2n=s(n)-n<0 | |||
Property / defining formula: / rank | |||
Normal rank |