#include int main(void) { int n; printf("Input positive integer: "); scanf("%d", &n); while (n > 0) { printf("%d ", n--); if (n == 0) { printf("\n"); } } return 0; }