La famiglia di funzioni
* f(x, a, b) = y = a*log(2, x + b)
ha due parametri; perciò per individuare una singola funzione occorrono due vincoli, quanti ne dà l'esercizio 84: l'appartenenza di O(0, 0) e di P(3, 4).
* f(x, 0, 0) = 0 = a*log(2, 0 + b)
* f(x, 3, 4) = 4 = a*log(2, 3 + b)
da cui il sistema risolutivo e la singola funzione richiesta
* (a*log(2, b) = 0) & (a*log(2, 3 + b) = 4) ≡ (a = 2) & (b = 1)
* f(x) = y = 2*log(2, x + 1)
---------------
La presenza della diseguaglianza d'ordine impone la realtà dei logaritmi.
* (x + 1 > 0) & (x > 0) ≡ x > 0
* (2*log(2, x + 1) >= 3 - log(1/2, x)) & (x > 0) ≡
≡ (2*log(2, x + 1) + log(1/2, x) >= 3) & (x > 0) ≡
≡ (log(2, (x + 1)^2) - log(2, x) >= 3) & (x > 0) ≡
≡ (log(2, (x + 1)^2/x) >= 3) & (x > 0) ≡
≡ (2^log(2, (x + 1)^2/x) >= 2^3) & (x > 0) ≡
≡ ((x + 1)^2/x >= 8) & (x > 0) ≡
≡ ((x + 1)^2 - 8*x >= 0) & (x > 0) ≡
≡ (x^2 - 6*x + 1 >= 0) & (x > 0) ≡
≡ ((x <= 3 - 2*√2) oppure (x >= 3 + 2*√2)) & (x > 0) ≡
≡ (0 < x <= 3 - 2*√2) oppure (x >= 3 + 2*√2)