∏_{p≤x} (1-1/p) ~ e^{-γ}/ln(x) as x→∞

∑_{p≤x} 1/p ~ ln(ln(x)) as x→∞

∏_{p≤x} p ~ e^x as x→∞

Both A and B are Mertens' theorems