lim ((16-x^2)^1/2)/(x-4), x -> 4-