Groups and the Group Axioms · Hard problem

On the positive reals define $a*b=\dfrac{ab}2$. This makes a group. Find the inverse of $8$.