Power function/Positive base/Real exponent/Fact