Number Theory Toolkit · Challenge problem

Nine coins look identical, but one is lighter. Using a balance scale, what is the smallest number of weighings that GUARANTEES finding the light coin?