Semi-martingale inequalities via the Garsia-Rodemich-Rumsey lemma, and applications to local times · Study