Challenge · Medium problem

Three fair coins are flipped. Given that at least one of them shows heads, what is the probability that all three show heads?