A332098 Largest m for which m^n = Sum_{x in S} x^n has no solution S subset of {1, ..., m-1}.

2, 8, 11, 44, 27, 33, 42, 83, 51, 62, 72, 83

Offset

1,1

Comments

Row n of table A332065 lists all s for which there is some S subset of {1,...,m-1} with s^n = Sum_{x in S} x^n. This is the case for all sufficiently large s (cf. reference there). Here we give the largest integer not in this list.

Sequence A030052 lists the smallest m for which there is a solution, so a(n) >= A030052(n) - 1. We have a(9) = 51 = A030052(9) + 4, a(10) = 62 = A030052(10) - 1, a(11) = 72 = A030052(11) + 4. - M. F. Hasler, May 14 2020, edited Jul 19 2020

Links

Table of n, a(n) for n=1..12.

Formula

a(n) = A030052(n) - 1 or a(n) > A030052(n).

a(n) < A001661(n)^(1/n).

Example

For n=1, we have m^n = (m-1)^n + 1^n, so S = {1, m-1} is a solution for all m > 2, but 2^n > 1^n and therefore no solution with m = 2 = a(1).
For n=2, we have a solution to m^n = Sum_{x in S} x^n for S subset of {1,...,m-1} for all m > 8 (cf. FORMULA in A332065), but no solution with m = 8 = a(2).

Crossrefs

Cf. A332065, A030052, A332066.

Sequence in context: A089118 A146480 A093918 * A254313 A209429 A135132

Adjacent sequences: A332095 A332096 A332097 * A332099 A332100 A332101

Keyword

nonn,hard,more

Author

M. F. Hasler, Apr 19 2020

Extensions

a(8) - a(12) from M. F. Hasler, Jul 23 2020

Status

approved