A função f(x) = log₂x, denominada de função logaritmo na base 2, é definida para todo número real positivo x. São bem conhecidas, dentre outras, as seguintes propriedades da função f: para cada número real positivo a e para todo número inteiro n, verificam-se as igualdades 2^f(a) = a e f(aⁿ) = n.f(a). Com base nestes fatos e em outros conhecimentos básicos de matemática, é possível concluir-se corretamente que f(0,03125) é igual a