>>31
That's actually (
yes, I'm sure you already knew) equivalent to
>>1's conjecture. If you could do it with a smaller number and still express any number this way (which would mean that
>>1's conjecture would be true) you'd have achieved the compression of arbitrary data, and you'd get in trouble with mister Shannon.