I know that the master theorem states that if $n=d^k$: $$ T(n) = CT(n/d) + f(n)\text{ for }k >= 1\text{ and }T(1)= 1 $$
then $$ T(n)=\sum_{j= 0}^k C^j f(n/d^j) $$
Then how do I get $T(n) = k+1$ when solving $T(n) = T(n/2) +1)$ for $n = 2^k$ and $T(1)= 1$? ( Binary Search Recursion). Do I take $C =1, d = 2,f(n) = 1$?
Thanks...