login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A309885 a(n) is the largest integer k such that there exists a set of n integers from which each number in 1,...,k can be built using the basic operations +,-,*,/, with parentheses allowed, and using each element of the set exactly once. 1
1, 3, 10, 52 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

The next term, a(5), is at least 351. Is it true a(5)=351? Proving a value is a term of the sequence is hard. Extensive computations suggest a(5)=351 should be the next term.

Can we find lower bounds for a(6), a(7), ...? For example, a(6) >= 2200 which can be obtained by using the set of integers {2, 10, 13, 30, 49, 56}. Can we find better sets for n=6 ?

By "set of n integers" it is meant that a fixed set of exactly n not necessarily distinct positive integers is used for obtaining every number from 1 to a(n).

This sequence is similar to A142153, but there not all integers from the set must be used when building numbers, and here we are taking a(n) to be the "last obtainable number", instead of the "highest smallest unobtainable" number which is one more than the last obtainable number.

We can use A142153(n+1)-1 > a(n) for a upper bound, for n > 1. For a lower bound, we can use a(n) >= A309886(n)-1, where the inequality is strict for n > 3.

For a trivial, not sharp, upper bound, we can count the number of possible expressions that can be built with n digits and allowed operations, and find (taking into consideration +,* are commutative): A221954(n) > a(n), for n > 1.

LINKS

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

Math StackExchange, Largest consecutive integer using basic operations and optimal digits?

EXAMPLE

a(1) = 1 is trivial since binary operations *,+,-,/ are not applicable.

a(2) = 3 since we can make 1,2,3 but not 4, using the number set {1,2}.

a(3) = 10 since we can make 1,...,10 but not 11, using the number set {1,2,4}.

a(4) = 56 since we can make 1,...,56 but not 57, using the number set {2,3,4,22}.

a(5) >= 351 since we can make first 351 numbers using the number set {2,3,6,12,37}.

CROSSREFS

Cf. A142153, A309886.

Cf. A221954.

Sequence in context: A241459 A230740 A013201 * A052446 A290489 A002873

Adjacent sequences:  A309882 A309883 A309884 * A309886 A309887 A309888

KEYWORD

nonn,hard,more

AUTHOR

Matej Veselovac, Aug 21 2019

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified September 27 03:21 EDT 2020. Contains 337380 sequences. (Running on oeis4.)