در واقع lg f و lg g رو دو تابع جدید فرض کرده، مثلاً F و G؛ بعد اومده ثابت کرده که اگه رابطه‌ی فرض برقرار باشه، F <= bG و مقدار b رو از روی رابطه‌ی فرض به دست آورده