What is the theoretical probability of getting k heads from n coin flips?