Let n be a nonnegative integer. Define a0 := 1. For n 1, let an be the number of non-decreasing1 functions f : [n] [n] such that f (i) i for all i [n]. Find (and prove) a recurrence relation for the sequence an