Notation In these notes, will always refer to positive integers, refers to nonnegative integers, and for . #state/stub | #lang/en