 Some loops can be shown to always terminate or never terminate through human inspection.For example, the following loop will, in theory, never stop.However, it may halt when executed on a physical machine due to arithmetic overflow