sylvesters sequence