What is the probability of obtaining exactly four heads in five flips of a coin, given that at least one is a head?