boundedness of functions