The largest number which is a linear combination of the divisors of n with nonnegative integer coefficients such that no linear combination with smaller nonnegative integer coefficients is equal to n.
The mean of this sequence and Euler's totient function A000010 is approximately (but not exactly) equal to n.
The definition has evolved from a recreational question asked by P. M. Higgins, asking what maximal sum of money can be produced using British coins so no sum of one pound is produced by any subset of these coins.
The terms up to and including a(29)=28 agree with the formula a(n) = (A145388(n) - 1)/2, but a(30)=60, while the formula gives 67. This difference should be confirmed by an independent calculation using the definition in the name. - Hugo Pfoertner, Feb 14 2025