fundamental identity of sequential analysis