https://5dok.net/document/yr38lmd8-proof-upper-bound-fixed-monte-carlo-lattice-fermions.html