2^x*2^(-1-x)
2^x*2^(-1 - x)
2^((x*2)^(-1 - x))
/ x -1 - x\ lim \2 *2 / x->oo
Limit(2^x*2^(-1 - x), x, oo, dir='-')
1/2