P
Initializing...
The prefactor of δ_sim is at most Z^{3A} when its argument is at most Z² · Prove2Me