(a) is defined for all x and y>0.
(b)