inf formula