Decreasing Subsequences in Permutations and Wilf