I have added to my book section “Expressing limits as implications”.
The main (easy to prove) theorem basically states that when implies . Here can be taken an arbitrary filter or just arbitrary ultrafilter.
The section also contains another, a little less obvious theorem. There is also a (seemingly easy) open problem there.