limes y to 0 limes x to inf y*x/(x+y)