How to FullSimplify/Simplify an inequality while keep a variable isolated

I have an inequality as follows

2^(1/2 (1 + 1/n)) > 0 &&   t <= (2^(1/2 (-1 - 1/n) + n/2) n^(1 + 1/(2 n)) \[Pi]^((1/2)/n))/E 

I want to simplify the 2^(1/2 (1 + 1/n)) > 0 to True using assumption that n > 0.

However, if I do the following,

2^(1/2 (1 + 1/n)) > 0 &&    t <= (2^(1/2 (-1 - 1/n) + n/2) n^(1 + 1/(2 n)) \[Pi]^((1/2)/n))/E //   FullSimplify[#, n > 0] & 

I end up with

2^(1/2 (1 + 1/n)) E t <= 2^(n/2) n^(1 + 1/(2 n)) \[Pi]^((1/2)/n) 

But I want to keep the t on one side of inequality. How can I do that.

Note the example is a bit simplified. I have a much complicated expression which I get from Reduce which I want to simplify, while keep t isolated on one side of inequalities.