Is The Man Who Knew Infinity a true story?