Canonical Dimension counter with displaying upper bound