How to tell Wolfram Language the power is positive