Print numeric inverted right angle triangle pattern - C

#include<stdio.h>
int main()
{
      int i,j,k=1;
      for(i=1;i<=4;i++)
      {
            for(j=4;j>=i;j--, k++)
            {
                  printf("%d   ",k);
            }
            printf("\n");
      }
      return 0;
}