Infinity is a non number. But for any formulas to work, a distance for infinity must be set.
Only aerial or satellite cameras may approach any distance we might believe is true infinity.
The infinity setting for each manufacturer is different. A good infinity distance is a stable detailed object such as a cell phone tower or Power pole scaffold, or a very detailed building at a distance of about 800-1000 meters or a 1/2 mile.
If you go longer you will find your near DOF for near objects, suffers and if shorter your far objects will, suffer as well.
Remember if you look at a scene in nature, objects at 1-15 miles are not as sharp as closer objects anyway.
Once you find your focus, and I would refocus several times until I consistently came to the same place on the bed or rail, before permanently marking it.
If your camera has rear focus, always use this feature. Front focus swells and shrinks the objects you are trying to focus as you move the knob. This causes optical confusion for your eye/brain and makes it more difficult to find sharp focus.
So that is also why I recommend several tries for consistency and accuracy.
While testing to find infinity you can also lay out a tape measure of 10-15Meters or 25-30 feet, from under your tripod, pointed at your infinity, and after finding sharp focus, make an image and study the image, either film negative/positive or digitally, to see what your near plane is for that lens at your shooting aperture.
A personal Hyperfocal for that lens!
Hope this helps,
Rod