0 <= xy - y² and xy - y² <= 1