Es raro que te pidan esto sin darte definiciones, pero vaya...
delmar ya te ha ayudado con el segundo, te ayudo yo con el primero.
La definición estándar es: decimos que \[ f(x)=O(g(x)) \] cuando \[ x \to x_0 \] si existen constantes \[ \delta, M>0 \] tales que si \[ 0<|x-x_0|<\delta \] entonces \[ |f(x)|\leq M|g(x)| \].
Es decir, la idea es que si \[ f(x)=O(g(x)) \] entonces hay un entorno de \[ x_0 \] donde \[ f \] y \[ g \] no "difieren mucho", en el sentido de que su cociente está acotado.
Con esta definición el ejercicio es muy inmediato, pues si tomamos \[ g(x)=1 \] queda: \[ f(x)=O(1) \] cuando \[ x\to x_0 \] si y solo si en un entorno de \[ x_0 \] se tiene \[ |f(x)|\leq M \] para algún \[ M>0 \]. Pero esto último es lo mismo que decir que \[ f \] está acotada en un entorno de \[ x_0 \].