Approximate heavy-hitter problem