kleinste obere Schranke

... is German for => least upper bound