小明今年6岁,他的爷爷72岁,则几年后小明的年龄是他爷爷年龄的4分之一?