As a, b, c, d are all odd, we have
f(n)≡4n−(a⌊an⌋+b⌊bn⌋+c⌊cn⌋+d⌊dn⌋)≡(n−a⌊an⌋)+(n−b⌊bn⌋)+(n−c⌊cn⌋)+(n−d⌊dn⌋)(mod2).
We can observe that n−a⌊an⌋ is the remainder of n divided by a—denote it as (nmoda). Meanwhile, the Chinese remainder theorem states that the map
Φ:{1,…,abcd}→{0,…,a−1}×{0,…,b−1}×{0,…,c−1}×{0,…,d−1},Φ(n)=(nmoda,nmodb,nmodc,nmodd)
is a one-to-one correspondence, so we can replace our sum in n as a sum in (x,y,z,w)=Φ(n) when (x,y,z,w) ranges over all elements of {0,…,a−1}×{0,…,b−1}×{0,…,c−1}×{0,…,d−1}. If Φ(n)=(x,y,z,w) then f(n)≡x+y+z+w(mod2), so it follows that
n=1∑abcd(−1)f(n)=x=0∑a−1y=0∑b−1z=0∑c−1w=0∑d−1(−1)x+y+z+w=(x=0∑a−1(−1)x)(y=0∑b−1(−1)y)(z=0∑c−1(−1)z)(w=0∑d−1(−1)w)=1⋅1⋅1⋅1=1.