pull down to refresh

Is that inflation?
Technically, no.
However, if prices rise on all the normal stuff people buy, they aren't going to care about that technical point. It's the same to them.