prior probability formula - Search