bounded above sequence