The Densest $k$-Subhypergraph Problem. SIAM on Discrete Mathematics