xy <= 2, x >0, y >0