0<= xy - y² <= 1