Here, we can use the definition of the logarithm directly to obtain \displaystyle 2^{\log_2 4} = 4\,.
