Proof of a conjectured 0-Rényi entropy inequality with applications to multipartite entanglement