Upper bound and lower bound in real analysis