Practical number (source code)

= Practical number

= Practical
{synonym}

A <positive integer> $n$ such that every <positive integer> at most $n$ is a sum of distinct <divisors> of $n$. For example, $6$ is practical because its <divisors> $1,2,3,6$ represent every value from $1$ through $6$.