I mathematically proved the best “Guess Who?” strategy [video]