Lewy–Stampacchia type estimates for variational inequalities driven by (non)local operators | Synapse