Zapišimo nejednadžbu u obliku
−2log5(72x2−2−1)+log5(72x2−2+51)≤−1.
Uvedimo t=72x2−2, t>0. Uvjeti definiranosti daju t−1>0 i t+51>0, pa je
t>1.(*)
Tada je
−2log5(t−1)+log5(t+51)log5(t+51)+log55log5[5(t+51)]5t+1t2−7t≤−1≤log5(t−1)2≤log5(t−1)2≤t2−2t+1≥0.
Rješenja su t∈(−∞,0]∪[7,∞), a zbog (∗) ostaje t≥7. Vraćanjem na x dobivamo
72x2−2≥7,
pa je ∣x∣≥2 i
2x2−2≥1⟺x2−2≥41⟺∣x∣≥23.
Ovaj uvjet ujedno zadovoljava početnu domenu. Zato je skup rješenja
(−∞,−23]∪[23,+∞).