T < 4E

We prove the Gruenbaum conjecture, i.e. for a 2-dimensional simplicial complex embedding in $R^4$ on T triangles and E edges, we have $T < 4E$.

We also extend this to higher dimensions and manifolds. The provided bounds are tight. The methods are perhaps surprisingly, not topological.