>>394
ガウス記号使うと
[1+1]=2
になって切り上げできませんよ。

>>395
プログラムなら

double cut_up(double num){
　if(num%1==0){
　　return num;
　}
　else{
　　return ++num;
　}
}

みたいなことすれば簡単に表現できるでしょ？
数式で表したいのですよ。