Potência de expoente real. Definição de logaritmo.