OP-00831 Solution claimed Nill's facet bound for reflexive lattice polytopes CO · AIM Open Applied Problems · facet numbers · lattice polytopes · reflexive polytopes