Hayır, değildir. Doğru hali ⌈−x⌉=−⌊x⌋ şeklindedir. Bunun için de a∈Z için ⌈−x⌉=a ise a−1<−x≤a olduğunu kullanabilirsin. Senin göstermen gereken şey ⌊x⌋=−a olduğunu göstermektir. İlk eşitsizliği −1 ile çarparsan −a≤−x<−a+1 elde edersin. Bu da zaten tamdeğer fonksiyonunun tanımı olduğundan ⌊x⌋=−a olduğu görülür.
Aksi bir örnek olarak x=π için ⌈−x⌉=−3 iken −⌈x⌉=−4'dür.
İspatlaman gereken önerme tamsayılarda değil de tüm reel sayılarda olduğu için tümevarım çok iyi bir seçenek değil. Reel sayılarda ispatlanılacak önermelerde tümevarım kullanılabiliyor ama hem bu soruda gerek yok hem de biraz meşakkatli bir iş.