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.