Neka je log2(x2−4x−1)=k, k∈Z.
Tada je x2−4x−1=2k, odnosno (x−2)2=5+2k (∗).
Ako je x cijeli broj, 2k mora biti cijeli broj, pa je k≥0.
Za k=0 dobivamo jednadžbu (x−2)2=6 koja nema rješenja u Z.
Za k>0, broj 5+2k je neparan, pa i x mora biti neparan.
Uvrstimo x=2n+1 u (∗):
(2n−1)22k=5+2k,4n2−4n+1=5+2k,=4(n(n−1)−1),2k−2=n(n−1)−1.
Na desnoj strani je neparan broj, a to je jedino moguće za k=2.
Tada je n(n−1)=2; n=2 ili n=−1; x=5 ili x=−1.
Jedino za x=−1 i x=5 vrijednost izraza log2(x2−4x−1) je cijeli broj.