How many weighings to find one heavy coin in 80?
Asked at Akuna, IMC
Among 80 coins, exactly one is heavier than the rest (which are all equal). You have a two-pan balance.
What is the minimum number of weighings that guarantees you find the heavy coin, and how do you know fewer can't work?