Valuta (utilizzando qualche considerazione geometrica, che ti può essere suggerita dalla figura a fianco) se la condizione
x² + y² ≤ y
implica la condizione
x² + y² ≤ 1
, o se segue da essa, o se non ha con essa alcuna relazione di implicazione.