reccurence relations in discrete mathematics gate