# mathematical function which rounds down k to n unless k > n+1, where n is integer

So the floor function would round down k to n if k >= n+1, is there a commonly used name/symbol for a function where it rounds down is k > n+1? So for example,

f(4)=3

f(4.0001)=4

• This is one less than the ceiling function. Thus $f(x)=\lceil x \rceil -1$ – lulu May 6 '18 at 14:28
• Oh of course thank you – Leosha May 6 '18 at 14:29
• How do I mark it as solved? – Leosha May 6 '18 at 14:30
• I'll post it below, then you can just accept that answer. – lulu May 6 '18 at 14:30

This is one less than the ceiling function. Thus $f(x)=\lceil x \rceil -1$.