Inequalities involving the primorial counting function | Synapse