schnirelmann constant