"bounded below subsequence" Deutsche bedeutung