Công thức bất phương trình logarit