(0,4)^{3x - 5} ≥ (2,5)^{x + 7}
eşitsizliğini sağlayan en büyük x tam sayısı kaçtır?

Öncelikle ondalık sayılar rasyonel hale getirilir: 0,4 = 4/10 = 2/5 ve 2,5 = 25/10 = 5/2.
5/2 ifadesi (2/5)^-1 olarak yazılabilir. Eşitsizlik şu hale gelir:
(2/5)^{3x - 5} ≥ ((2/5)^-1)^{x + 7}
(2/5)^{3x - 5} ≥ (2/5)^{-x - 7}
Taban (2/5) 0 ile 1 arasında olduğu için eşitsizlik yön değiştirir:
3x - 5 ≤ -x - 7
4x ≤ -2
x ≤ -0,5
Bu koşulu sağlayan en büyük tam sayı -1'dir.