Certifying the Optimality of a Distributed State Estimation System via Majorization Theory