The Dilworth number of a poset is the maximum length of an antichain.
i1 : n = 5;
i2 : dilworthNumber chain n o2 = 1
i3 : dilworthNumber booleanLattice n o3 = 10
i4 : n*(n-1)//2 o4 = 10