최대 정수 함수
최대 정수 함수 / 바닥함수 (Floor Function) ⌊x⌋ 는 다음과 같이 정의합니다.
⌊x⌋=max{n∈Z:n≤x}
집합 표기로 되어있어서 굉장히 어려워보이지만 사실은 그냥 " 실수 x보다 작은 최대의 정수 " 입니다. (Z가 정수의 집합 표기)
르장드르 공식 등을 표기할 때에 사용됩니다.
비슷한 함수인 최소 정수 함수 도 존재합니다.
x와 ⌊x⌋는 1 미만의 차이가 나기때문에 f(x)=⌊f(x)⌋+O(1)이라 할 수 있습니다. (O(f(n))은 란다우 표기법 )