poprawne rozwiązanie
Returns whether there exists a bounded integer within `s`that satisfies
`p`.