Zapišimo nejednadžbu u obliku
−2log5(72x2−2−1)+log5(72x2−2+51)≥−1.
Neka je t=72x2−2, t>0, ∣x∣≥2.
Tada je −2log5(t−1)+log5(t+51)≥−1.
Ova će nejednadžba imati rješenje ako je t−1>0 i t+51>0, odnosno t>1. (♣)
Slijedi da je
log5(t−1)2t+515(t−1)25t+15t+1t2−7t≥−1,≥5−1,≥t2−2t+1,≤0.
Rješenje dobivene kvadratne nejednadžbe je interval [0,7], što zajedno s uvjetom (♣) daje t∈⟨1,7]. Vraćanjem na nepoznanicu x redom dobivamo
100022<72x2−2≤7,<2x2−2≤1,<x2−2≤21,<x2−2≤41,<x2≤49,<∣x∣≤23.
Tada je x∈[−23,−2⟩∪⟨2,23], pa očito dana nejednadžba nema cjelobrojnih rješenja.