y² ≦ -xlogx