[math-fun] Last term of the self-1-describing sequence ?