/* countdown.c */
#include <stdio.h>

int main(void)
{
  int n; 

  printf("自然数を入力して下さい");
  scanf("%d",&n);

  do{
    printf("%d ",n);
    n--;
  }while(n>0);

  printf("\n");

  return 0;
}