Borg, P. A Sharp Bound for the Product of Weights of Cross-Intersecting Families. Electron. J. Combin. 2016, 23, P4.45.