Iterated Logarithm Inequalities | Synapse