How was $m ≥ 8log(\frac{7|H|}{6})$ derived here?

A question on AI Stack Exchange asks how the bound m ≥ 8log(7|H|/6) is derived in Section 5.1 of Understanding Machine Learning: From Theory to Algorithms.

Written by AI from AI Stack Exchange's published text. Read the original for full details.