lim ((a^(1/x)+b^(1/x))/(2))^x as x->infinity