lim as x -> +inf ((4x-4)/(4x-7))^(15x)