n >= 1 by NAT_1:14;
then n -root a > n -root 0 by POWER:17;
hence n -root a is positive ; :: thesis: verum