Felülről korlátos függvény