A função !$ f(x)=\log_2x !$, 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)=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