Resolved: Tag has been removed. I was going to remove the tag gronwall-inequality from this question until I realized that there were a hundred questions related to this inequality. I am not too familiar with DEs: do people who are think this could use a tag?