Thx, got AC now.
BTW, Adrian, 18 was also the largest set I found. I used an incomplete search (of course), but I suspect that is optimal or very close to it. It is definitely much lower than 30.
That's a brave assumption. What you are saying is that it's impossible to find an arbitrary big interval with no powers. I believe it's not true.
Let's check what is the length of a power-free interval we can get between 2^(n - 1) and 2^n.
Number of powers on this interval is less then:
2^(n/2) + (squares)
2^(n/3) + (cubes)
2^(n/4) +
........
2^(1)
which is less then:
n*2(n/2)
as a result we can find a power-free interval with length of at least:
2^(n - 1)/(n*2^(n/2)) = 2^(n/2 - 1)/n - can be arbitrary big....
conclusion: for any set it is always possible to find an element to add to it.
consequently: the set can be arbitrary big.
PS: let me know if I'm wrong.